f64 <= i64 - f32
