>>>>> In article <D.LOVE.94Mar14181037 at dlpx1.dl.ac.uk>, I wrote: > If this is a worry, it's worth pointing out that Un*x boxes sometimes > (often?) don't implement IEEE 754 properly by default. Sorry, I should have written `by default or when tuned for speed'.