floor package:math-extras

Round towards negative infinity