f32 >= f64 + i32
