toJSON(min(0.5, f32))
