Method on @infsup: floor (X)

Round each number in interval X towards -Inf.

Accuracy: The result is a tight enclosure.

floor (infsup (2.5, 3.5))
  ⇒ ans = [2, 3]
floor (infsup (-0.5, 5))
  ⇒ ans = [-1, +5]

See also: @infsup/ceil, @infsup/round, @infsup/roundb, @infsup/fix.

Package: interval