Hi Emilio,
> If you don't have the time now I can take a look at this later today.
Please, although it's more that my IEEE 754 is pretty rusty… :)
Best wishes,
--
,''`.
: :' : Chris Lamb
`. `'` lamby at debian.org / chris-lamb.co.uk
`-