string(f32 <= i)
