Python Format Number Thousands Separator Dot