Antes de hacer el cambio, yo evaluaría si lo que piden está bien y ver como se está guardando ese dato después. Dicho lo anteriorEra más sencillo, capazasí que te convenga forzar el uso de esta libreria,edito mi respuesta. No es necesaria ninguna libreria. Hay que originalmente está pensado para formatear precios, pero podría servirteagregar lang="en".
// JavaScript
$('#hstot').priceFormat({
prefix: ' ',
centsSeparator: '.',
thousandsSeparator: ',',
clearPrefix: true,
clearSuffix: true,
});
<input type="number" min="1" step="0.1" name="hstot" id="hstot">id="hstot" lang="en">