It isn't bounded-precision per se that is the problem. Bounded precision by default is. Add absence of unbounded precision integers in a language and non-fixed

It isn't bounded-precision per se that is the problem. Bounded precision by default is. Add absence of unbounded precision integers in a language and non-fixed sizes of existing integer types and now it is a proper problem.