Fixing decimal separator bug : now GraphViz is forced to use US English ...

...numeric standards.