i64 + i32 >= f32
