100644 blob 97b6ff68a56fb7abaf0cbf03250962431c055bcc	README.txt
100644 blob 640290f2ec7962cd761c5f5f9b8cb4494d721778	bench.py
100644 blob a67e161ddf098fb125b5437838458009c5b30dea	bignum.py
100644 blob bf277dd6879ffe7317e0b5ca1b2e56c307c9c1a4	deccheck.py
100644 blob f4a6a1cebb7025c3ad420ff8bb45c8b65745c2af	formathelper.py
100644 blob d667f79f2c92f3b27a492515fba9ce82c0e1a34f	randdec.py
100644 blob 16873035689cf30495658e1f8f5883cae58b98bd	randfloat.py
100755 blob 7f3e527461871a61b83660ca54dc357d9fb4e929	runall-memorydebugger.sh
100755 blob a9d6c6f19c8bb0ca869e9ae827ec78a2e0021512	runall.bat