50,51c50,51
< typedef float FloatReg;
< typedef uint32_t FloatRegBits;
---
> typedef double FloatReg;
> typedef uint64_t FloatRegBits;