i64 + f32 >= f64
