string(1 <= f32)
