Move binary64- prefixed procedures into library (meevax binary64)
#3237
| Job | Run time |
|---|---|
| 5m 32s | |
| 7m 22s | |
| 3m 46s | |
| 4m 16s | |
| 4m 30s | |
| 3m 53s | |
| 8m 22s | |
| 11m 9s | |
| 3m 9s | |
| 8m 7s | |
| 12m 57s | |
| 3m 38s | |
| 1h 16m 41s |