let `min` and `max` preserve exactness