[davrosthedalek]

That's not a formatting error. For c000 to make any sense, the base must be at least 13. In none of the bases where c000 is a valid number, the base 12 representation is 10000.

[Dylan16807]

I could say "2x2x2 being 200 in binary is a formatting error, it should be 1000" and I think that would be true too.

It can make sense as a mistake without needing the base to actually be higher. The base isn't higher just because they carried a digit incorrectly.