I would name this file just `number.go` because we already know it is device numbers being in the device package