Por lo que veo, no hay forma de reemplazar el separador decimal que muestra el navegador para los números no enteros (si desea que siempre sean un punto o una coma, independientemente de la localización). Estas son las acciones que el navegador realiza bajo el capó teniendo en cuenta el idioma y la localización del navegador. Detalles pueden ser encontrados aqui.
Localización del número de tipo de entrada
https://www.ctrl.blog/entry/html5-input-number-localization.html
Por lo tanto, tenía la necesidad de considerar al menos lo que actualmente muestra una entrada, un punto o una coma y, según esto, cambiar el contenido de la etiqueta. Entonces, básicamente, lo que necesito es una función o algo más, eso me dirá qué separador decimal se muestra ahora.