Since we're doing ```ToString``` in the VM (and that we don't know users' preference in formatting double values), perhaps we want to go the culture neutral way? (e.g. VM may always want to deal with ```123.456``` instead of ```123,456```, just the same way we deal with double strings in DYN files?)