tentative removal of Rint#1937

affeldt-aist wants to merge 2 commits intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:reals_20260417affeldt-aist/analysis:reals_20260417Copy head branch name to clipboard