¿La entrada del número HTML quita el punto decimal?

Tengo un problema con la entrada de número en un formulario. Cuando ingrese un número, diga 88.2 y envíelo, no hay problemas. Pero cuando esta otra persona hace lo mismo, puede ver en el código php si hace eco de la variable desde la entrada del número, que ha eliminado el punto decimal (.).

No elimina su punto decimal cuando usa una coma, sin embargo, cuando uso una coma, elimina eso para mí. ¿Hay alguna forma de solucionar esto y hacer que solo acepte "." como punto decimal?

Aquí está la entrada:

<input id="version" name="version" step="0.1" min="1.0" max="250.0" type="number" class="input-small" placeholder="87.2"></input>

No hay nada en el código PHP que sea inusual, solo

echo $_POST['version'];

input-small css:

.input-small {
  width: 90px;
}

Respuestas a la pregunta(2)

Su respuesta a la pregunta