Syntax
Get the previous integer by rounding down. For example, both 2.001 and 2.999 are rounded to 2.0.