Gaurav Sharma
Subscriber

Discoverytester 

The decimal symbol can be governed from local settings

Start Menu > Search for “Region and Language Settings” > Additional date, time, & regional settings > Region: Change date, time, or number formats > Formats: Additional Settings > Decimal Symbol.

The operator used here will dictate what symbol you have to use in DL, to specify a decimal.

Can you please check this setting at your end and make necessary changes as per your priority. i hope it helps.

Regards,

Gaurav