Hi. This patch fixes the bug 113343. I'm wondering if there's a better solution than using mpfr. The only other solution I found is real_from_string, but that seems overkill to convert the number to a string. I could not find a better way to create a real value from a host double. If there's no solution, do we lose some precision by using mpfr? Running Rust's core library tests, there was a difference of one decimal, so I'm wondering if there's some lost precision, or if it's just because those tests don't work on m68k which was my test target. Also, I'm not sure how to write a test this fix. Any ideas? Thanks for the review.