i64 + f64 <= f32
