Thanks Hans, There was indeed a bug in the implementation of Double: the values of floatRange and floatDigits didn't change if you (manually) enabled the use of double precision arithmetic. This is now fixed. Incidentally, anyone who really cares about getting accurate arithmetic results should be using the Rational type and setting the defaulting rules appropriately. Alastair
