i64 - f32 <= f64
