Hi Vincent! On 12/24/22 23:51, Vincent Lefevre wrote:
Here, the number has been divided by 4 instead of 2. The printf output is correct. This is a QEMU bug in the multiplication with subnormals. See the discussion in the MPFR mailing-list: https://sympa.inria.fr/sympa/arc/mpfr/2022-12/msg00036.html
I'm actually the admin of the machine QEMU machine "mitchy" that was used by the original poster. I have actually not updated the QEMU version for some time and I think I should actually do that :-). I will use the sample code from the thread to see if the update made any difference. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer `. `' Physicist `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913