Name:
RZ
constant representing rounding-to-zero mode.
Library names:
sollya_obj_t sollya_lib_round_towards_zero()
int sollya_lib_is_round_towards_zero(sollya_obj_t)
Description:
- 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.
Example 1:
> display=binary!;
> round(Pi,20,RZ);
1.1001001000011111101_2 * 2^(1)