$decimalSeparator public property
The character displayed as the decimal point when formatting a number. If not set, the decimal separator corresponding to $locale will be used. If PHP intl extension is not available, the default value is '.'.
public string $decimalSeparator = null
Please login to continue.