David Given e88670dad4 Yikes! Turns out that FPU registers are only 32 bits wide, and doubles are ... stored in pairs, just like on the PowerPC!		2018-09-09 18:25:00 +02:00
..
platform.c	Yikes! Turns out that FPU registers are only 32 bits wide, and doubles are	2018-09-09 18:25:00 +02:00
table	Yikes! Turns out that FPU registers are only 32 bits wide, and doubles are	2018-09-09 18:25:00 +02:00