toJSON(max(f32))
