◐ Shell
clean mode source ↗

Message 82430 - Python tracker

hmm yes, ignore my 13+optimize result.  apparently that used 15bit 
digits despite --enable-big-digits on configure.  attempting to fix that 
now and rerun.