The standard allows the user to choose among several rounding modes , and in each case specifies precisely how the results should be rounded .
The standard allows the user to choose among several rounding modes , and in each case , specifies precisely how the results should be rounded .