[Libre-soc-dev] qemu cosimulation

[Luke Kenneth Casson Leighton]

first actual discrepancy found: FP operations have to take place
at the 64 bit precision... then be truncated to IEEE754 FP32,
then be *re-expanded* to fit into IEEE754 FP64.

l.