f32 > max(i32, 1)
