[python] How to print float to n decimal places including trailing 0s?