The 1.5X-10X range (I think it's closer to 10X myself, at least for double precision) takes into account the fact that on an x86, it's not good enough to just set the precision rounding control, since double rounding can still occur, especially if the result is in the range of double precision denormalized numbers.