Name:

RD constant representing rounding-downwards mode.

Library names:

sollya_obj_t sollya_lib_round_down() int sollya_lib_is_round_down(sollya_obj_t)

Description:

Example 1:

   > display=binary!;
   > round(Pi,20,RD);
   1.1001001000011111101_2 * 2^(1)
See also: RZ, RU, RN, round, floor