Man Page Index
The SET-DEC command sets the decimal point output symbol to the specified character.
SET-DEC Symbol
SET-DEC ,
Internationalization