toJSON(max(0.5))
