We make it possible to register a different numerical tower instead, such as a tower built on mock integers (#29874).

This needs to be benchmarked to make sure that there are no performance regressions.

Component: refactoring

Issue created by migration from https://trac.sagemath.org/ticket/29875