My preference falls between hardcoded dot and user configurable. Would be great if vDos does fetch separator from Windows regional settings but this could be overrided in config.txt. Even better when it could be changed on the fly. TSR we used in DOS days used Alt+, and Alt+. to switch numpad separator. I guess hardcoded dot is easier to implement and has better performance.