[python] How to truncate float values?