toJSON(1 < f32)
