I had submitted a proposal [1] to add type="digits" last year, when I was faced with similar issues designing TOTP/PIN controls. Didn't gain much traction though.

[1] https://github.com/whatwg/html/issues/5209