> I saw this too recently; I was running Win2K SP3, French locale.
> I suspect there's something wrong with handling of the decimal point (isn't
> German locale similar to the French one, ie 1000*PI ~= 3.141,627 rather
> than 3,141.627 ?
You're right and there's a workaround: Change your windows locale
settings to use "." instead of "," as the decimal separator.
I filed bug #110679 to keep track of this problem.
Steffen