Comment by ssivark

That's passable model assumption if your algorithm didn't create intermediate numbers/strings of arbitrarily growing length. Otherwise the thing that you're considering a constant is not actually bounded.

Whether it's an oversight in just this work, or TCS more broadly, I do not know. But it's a fundamental point nonetheless.