toJSON(min(0.5))
