floor -package:copilot-language

floor x returns the greatest integer not greater than x
\x -> ceiling (-x) == negate (floor (x::Double) :: Integer)
\x -> ceiling (-x) == negate (floor (x::Rational) :: Integer)
floor x returns the greatest integer not greater than x.
supply the previous lower whole component
>>> floor (1.001 :: Double)
1
supply the previous lower whole component
>>> floor (1.001 :: Double)
1
Approximate x to the nearest integer less than or equal to x.
Rounding mode to round towards negative infinity.
Synonym for round down
Round a type-level number towards negative infinity
Round towards negative infinity