Re: Cross-platform floating point behavior