This is consistent with the vlcrc syntax. Shell scripts et al. are
unlikely to be aware of the locale decimal separator anyway.