Sollya User's Manual

Name:

RN constant representing rounding-to-nearest mode.

RN is used in command round to specify that the value must be rounded to the nearest representable floating-point number.

   > display=binary!;
   > round(Pi,20,RN);
   1.100100100001111111_2 * 2^(1)