F.9.6.8 The trunc functions

1

The trunc functions use IEC 60559 rounding toward zero (regardless of the current rounding direction).

• trunc((+-)0) returns (+-)0.

• trunc((+-)(inf)) returns (+-)(inf).