i64 - abs(i32)
