print a big integer with punctions with python3 string formatting mini-language,"format(x, ',').replace(',', '.')"