Sollya User's Manual

Name:

RZ constant representing rounding-to-zero mode.

RZ is used in command round to specify that the value must be rounded to the closest floating-point number towards zero. It just consists in truncating the value to the desired format.

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

See also: RD, RU, RN, round, floor, ceil