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][1], 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">



  [1]: https://price-format.github.io/Jquery-Price-Format/