abs(f64) <= i32
