rounding bug

[Ross Paterson]

On Sun, Dec 07, 2003 at 08:08:52PM +0100, Sven Panne wrote:
> I wrote:
> >The HEAD seems to have a rounding bug: [...]
> 
> FYI: The recent changes in the build system (probably by Ross and/or me) 
> have
> somehow resulted in an complete breakage of floating point stuff, see below.

It was me.

> Type :? for help
> Prelude> 1.3
> 1,0

It's the numeric part of your de_DE locale.  I've changed it to only
use the LC_CTYPE part.  I don't see how this fouled up the original
example (which doesn't happen in en_GB) though.