If (wrap] is desired, it is the responsibility of the caller to handle the case in which min is returned.