F.9.6.2 The floor functions

1

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

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

2

See the sample implementation for ceil in F.9.6.1.