f32 < int(f64)
