f64 <= abs(f32)
