Re: Do we have a floatingpoint bug?