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 anterior, capaz que te convenga forzar el uso de esta libreria, que originalmente está pensado para formatear precios, pero podría servirte.
// JavaScript
$('#hstot').priceFormat({
prefix: ' ',
centsSeparator: '.',
thousandsSeparator: ',',
clearPrefix: true,
clearSuffix: true,
});
<input type="text" min="1" step="0.1" name="hstot" id="hstot">