Once you allow any format the question is completely meaningless. You can just define 0 to mean any number you want.

The post addresses this very issue:

> Precisely because the Turing machine model is so ancient and fixed, whatever emergent behavior we find in the Busy Beaver game, there can be no suspicion that we “cheated” by changing the model until we got the results we wanted.”