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 d

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.