RE: Precision of `Double's in Hugs