Enter a real number to be rounded: