[gtkada] Bug with Float'Image

[manuel.op.de.coul at eon-benelux.com]

Michael,

I encountered this problem too. It has nothing to do with
Gtkada. It's a bug in some Windows driver that leaves the
FPU in a 64-bit instead of 80-bit state. It was discussed
extensively in the no longer existing chat at gnat.com mailing
list, which is archived on the web.
With GNAT 3.13 the problem can be solved by calling the
procedure GNAT.Float_Control.Reset.

Manuel