How to round down to the nearest whole number in Python?