<<It is OK between double precision and single precision; double rounding can't happen there because there are enough bits in a 'double'. It's not OK between the Intel 80-bit extended precision and double precision. >> Right, that's true.