Wenn ich die Ausgabe formatiere, mittels php bzw. Javascript und bei der Eingabe alle Buchstaben etc. löschen könnte es doch funktionieren?
getInputAsFloat(document.formular.Input3).replace(/[^0-9 ]/g, "")
Aber ich glaube ich habe das replace nicht korrekt verwendet