Re: Common wisdom on arithmetic (IEEE)