print a big integer with punctions with python3 string formatting mini-language,"""""""{:,}"""""".format(x)"