type(f32 <= 1)
