200c200
< float fp;
---
> // float fp;
397c397
< float readFloatResult() { return instResult.fp; }
---
> float readFloatResult() { return (float)instResult.dbl; }
422c422,423
< instResult.fp = val;
---
> // instResult.fp = val;
> instResult.dbl = (double)val;