Re: floats handling on x64

[Jürgen Spitzmüller]

Enrico Forestieri wrote:
> The attached patch fixes it for me.

confirmed.
(in the long run, we should aim at supporting localized numerics, though).

Jürgen