Use 64-bit register values #318

Job	Run time
Recompiling ido 5.3 for linux	1m 39s
Recompiling ido 7.1 for linux	1m 23s
Recompiling ido 5.3 for macos	2m 12s
Recompiling ido 7.1 for macos	1m 39s
Recompiling ido 5.3 for windows	2m 42s
Recompiling ido 7.1 for windows	2m 20s
Recompiling ido 5.3 for linux-arm	2m 5s
Recompiling ido 7.1 for linux-arm	1m 47s
	15m 47s

Provide feedback