Bugfix/thousand separator in number validator

 HTML5 always transmits values in the format "1ß00.01", without a thousand separator. The prior use of the i18n Float validator allowed the thousand separator, which resulted in wrong numbers when casting to float.