Choosing to encode the representation of pi as a base-10 decimal number to get the source data is pretty arbitrary, too.
[a]: There does exist an formula to output any digit of pi (in base 16) without calculating any of the preceding digits: the Bailey-Borwein-Plouffe formula[0], but that’s not base 7 or 12. I do remember reading about someone generating the first trillion digits of pi using said formula and converting to decimal as it went along, so one could adapt that program to do base 7 (or 12) if they wanted.
[0]: https://en.wikipedia.org/wiki/Bailey%E2%80%93Borwein%E2%80%9...