<input type="number"> or <input type="text"> for entering an ID?

My website has a form with an input box to enter a long, random, numeric ID. Should it be a text input or a number input?

The problem with <input type="number"> is that it has useless up/down spinner arrows. ID numbers are long and random, so who would ever need to increment/decrement the number?

But <input type="text"> is bad because it lets users enter non-digit characters.

Which is better?