100644 blob 97b6ff68a56fb7abaf0cbf03250962431c055bcc	README.txt
100644 blob 3726db194e032f24a975db001d178f9cb3792049	bench.py
100644 blob a67e161ddf098fb125b5437838458009c5b30dea	bignum.py
100644 blob 5cd5db5711426c10cbce63a56f0a4fde9a6fa10b	deccheck.py
100644 blob 19b2aad4a503b1e2bc1904ac50a03550810ac9d5	formathelper.py
100644 blob d667f79f2c92f3b27a492515fba9ce82c0e1a34f	randdec.py
100644 blob 16873035689cf30495658e1f8f5883cae58b98bd	randfloat.py
100755 blob 29b7723dd50c058349b0e1eee7bbe5ff67e717c7	runall-memorydebugger.sh
100755 blob a9d6c6f19c8bb0ca869e9ae827ec78a2e0021512	runall.bat