Implement N32 floating-point regs (#78) #335

Job	Run time
Recompiling ido 5.3 for linux	1m 42s
Recompiling ido 7.1 for linux	1m 44s
Recompiling ido 5.3 for macos	2m 24s
Recompiling ido 7.1 for macos	2m 0s
Recompiling ido 5.3 for windows	2m 57s
Recompiling ido 7.1 for windows	2m 19s
Recompiling ido 5.3 for linux-arm	1m 59s
Recompiling ido 7.1 for linux-arm	1m 40s
	16m 45s

Provide feedback