Credit Card Numbering and the Luhn Formula

You might think it