Description: Limit step of the construction of constructible numbers. (Contributed by Thierry Arnoux, 25-Jun-2025)