Re: 80-bit subnormals printed incorrectly on Debian 11 M68K

[John Paul Adrian Glaubitz <glaubitz@physik.fu-berlin.de>]

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