Use "fixed" structure Real64 with recent versions of SML/NJ
#112
| Job | Run time |
|---|---|
| 27m 2s | |
| 25m 12s | |
| 20m 31s | |
| 29m 13s | |
| 30m 14s | |
| 53m 0s | |
| 1h 0m 46s | |
| 7m 10s | |
| 59m 47s | |
| 5h 12m 55s |