Pese que el dato lo puedas obtener de una consulta SQL con PHP .. tu problema principal es con HTML y conocimiento de formularios HTML.
En un formulario HTML no hay diferencias para campos numéricos o de texto sólo o si son enteros o con decimales .. todo es "text" si se trata de presentar un dato "alfanumérico".
Cita: Si es que si, ¿cómo formateo el número para que al enviar el formulario se inserte en la BD con el formato decimal(10,4)?
Eso depende del tipo de campo de tu BBDD que almacene el dato y de como esta gestione su separador de decimales. Este detalle tendrías que aclararo en el foro de "Base de datos" (no en el de PHP tampóco, php sólo hace de "intermediario" en todo este proceso .. a lo sumo si necesitas una conversión del decimal (caracter) a usar .. ahí si necesitarías PHP o lo fuerzas con javascript también ..)
Un saludo,