Re: fdlibm behaviour on non-HotSpot platforms