jqGrid: Формат чисел с запятой в качестве десятичной точки

Я использую тип 'number' для ввода чисел с плавающей запятой в сетку jqGrid. Я могу форматировать числа с плавающей запятой для рендеринга с запятой (мы используем команду в Европе как десятичный разделитель). Однако поля ввода (форма редактирования или встроенные) по-прежнему предполагают, что при вводе чисел с плавающей запятой используется точка, а не запятая.

formatoptions: {decimalSeperator : ','}

, похоже, влияет на рендеринг, но не на проверку входных данных.

Какие есть разумные варианты?