Round a double-precision floating-point number toward negative infinity. - View it on GitHub