type(0.5 <= f32)
