It may well be related. My problem is with several digits to the _left_ of the decimal point, but since REALs and DOUBLEs are closely related and since it seems to me that something changed in the display of REALs in the most recent version, I'm guessing they may be tied together.
I'm going to report this as a bug, but you don't know of any workaround, do you? -- Larry
