Description: The minimum of two numbers is less than or equal to the first. (Contributed by NM, 3-Aug-2007)