Add procedures binary64-normalized-fraction and binary64-exponent
#3233
| Job | Run time |
|---|---|
| 5m 6s | |
| 7m 25s | |
| 3m 2s | |
| 5m 8s | |
| 5m 50s | |
| 3m 10s | |
| 8m 36s | |
| 11m 25s | |
| 3m 2s | |
| 8m 31s | |
| 12m 41s | |
| 3m 13s | |
| 1h 17m 9s |