toJSON(0.5 < f32)
