UDBScript: fixed a problem where floating point default script option values would be converted to the system's locale on hot reloading. Fixes #858