[python] How to print number with commas as thousands separators?