Print a big integer with punctions with Python3 string formatting mini-language,"""""""{:,}"""""".format(x).replace(',', '.')"