> Your PIN must not start with a 0.

No, you're storing and treating information that is not actually a number as an integer. Plenty of things that look like numbers are not numbers, and trying to apply number-like traits to them is asking for trouble.