100644 blob 97b6ff68a56fb7abaf0cbf03250962431c055bcc	README.txt
100644 blob 3726db194e032f24a975db001d178f9cb3792049	bench.py
100644 blob a67e161ddf098fb125b5437838458009c5b30dea	bignum.py
100644 blob 98ecd502c03fe910b79fdf4881c545f31406d0e9	deccheck.py
100644 blob 19b2aad4a503b1e2bc1904ac50a03550810ac9d5	formathelper.py
100644 blob d667f79f2c92f3b27a492515fba9ce82c0e1a34f	randdec.py
100644 blob 16873035689cf30495658e1f8f5883cae58b98bd	randfloat.py
100755 blob 7f3e527461871a61b83660ca54dc357d9fb4e929	runall-memorydebugger.sh
100755 blob a9d6c6f19c8bb0ca869e9ae827ec78a2e0021512	runall.bat