abs(i64) == i32
