Move the floor() call into fbound() to call floor() on a double
rather than an int. The change should enhance the rounding.

Document also (int)double rounding mode.
(cherry picked from commit 45e4efba)
Co-authored-by: Victor Stinner <vstinner@redhat.com>