make style more readable, upgrade PI to 10,000 digits