The fact that a number is independent from ZFC does not meant that the number is inexact. The theoretical functioning of a 800 state Turing machine does not obviously depend on your axiom system.

In fact, I find the example a pretty nice argument for 'undecidable' problems having an actual truth value. Specifically because of the thought experiment of 'how would BB(800) not have an actual exact value'.