toJSON(min(f32))
