On Thu, 2004-06-03 at 15:20, Dirk Koopman wrote: > There is a bug! But then I expect you noticed that. It appears to be > related to the fact that the no of digits is different. > This is now fixed in CVS (at least for now, it will need revisiting). It should show up in anonymous CVS in about 8 hours. Dirk