abs(f64) <= abs(i32)
