[Python-ideas] A different format for PI?