In Python, How to approximate a float to the nearest integer?