string(f32 <= 1)
