The last pic in the article says they did exactly that.

If I remember correctly the support for the decimal separator is a mess between Android and iOS, I think it was so that iOS defaults to comma and Android to a dot which makes is difficult to write any cross-browser code with input-type number if it has to handle decimal numbers as well.

Surely these advanced operating system environments allow you to localise decimal separators?