Database auto-increments happen to be integers, but we never perform arithmetic on IDs – they're opaque identifiers.
My take: IDs are identifiers, not numbers. Typing them as strings makes this explici and makes migrating to UUIDs or other formats painless.
Am I missing a good reason to keep them as numbers?