There is math.floor for rounding towards negative infinity, which has the advantage of being crystal clear.