python string format decimal separator