100644 blob 97b6ff68a56fb7abaf0cbf03250962431c055bcc	README.txt
100644 blob 56566cc339058f761a8e5d3006684843e8aec3ac	bench.py
100644 blob a67e161ddf098fb125b5437838458009c5b30dea	bignum.py
100644 blob ab7d5bdf4effbf1f84e625c74b3f0e66db6e15bf	deccheck.py
100644 blob 19b2aad4a503b1e2bc1904ac50a03550810ac9d5	formathelper.py
100644 blob d667f79f2c92f3b27a492515fba9ce82c0e1a34f	randdec.py
100644 blob 16873035689cf30495658e1f8f5883cae58b98bd	randfloat.py
100755 blob a446fc8b97baa7a9070e11ba6786c2f73b192db2	runall-memorydebugger.sh
100755 blob 568f92f6ddf392486e4a02f656ceb0aa7671782c	runall.bat