[FileFormats.MOF] add support for other number types #5216
| Job | Run time |
|---|---|
| 12m 40s | |
| 11m 23s | |
| 11m 2s | |
| 25m 50s | |
| 14m 41s | |
| 23m 56s | |
| 12m 37s | |
| 25m 20s | |
| 25m 1s | |
| 17m 43s | |
| 19m 53s | |
| 30m 0s | |
| 27m 17s | |
| 29m 44s | |
| 17m 25s | |
| 25m 12s | |
| 25m 5s | |
| 26m 31s | |
| 23m 55s | |
| 28m 35s | |
| 30m 4s | |
| 20m 28s | |
| 27m 23s | |
| 22m 47s | |
| 35m 0s | |
| 9h 29m 32s |