Re: Precision of `Double's in Hugs