New Webkits convert decimal comma to ~ dot and vice versa in number-type inputs. Javascript name of that browser feature?

I finally figured it out (after having spent some three days on it). I could have asked the Chrome maker what the Javascript name is, but it would be much better if I could make the browsers behave properly. The broader objective of this question, which is primarily about math forms, is: Consistent interbrowser behavior: … Read more