f32 <= int(0.5)
