Big hoss

The big hoss is equal to $$\{100,100 \underbrace{////\ldots////}_{100} 2\}$$ in BEAF.