Origin for each line in Arbitrary_Precision.red from check-in f2c04ccdad:

f2c04ccdad 2021-03-03 trnsz@pobox.c: %%%%%%%%%%%%%%%%%%%%%
f2c04ccdad 2021-03-03 trnsz@pobox.c: %  ARBITRARY PRECISION
f2c04ccdad 2021-03-03 trnsz@pobox.c: %%%%%%%%%%%%%%%%%%%%%
f2c04ccdad 2021-03-03 trnsz@pobox.c: 
f2c04ccdad 2021-03-03 trnsz@pobox.c: % Use real arithmetic
f2c04ccdad 2021-03-03 trnsz@pobox.c: on rounded$
f2c04ccdad 2021-03-03 trnsz@pobox.c: 
f2c04ccdad 2021-03-03 trnsz@pobox.c: % Set precision to 50 digits
f2c04ccdad 2021-03-03 trnsz@pobox.c: precision(50)$
f2c04ccdad 2021-03-03 trnsz@pobox.c: 
f2c04ccdad 2021-03-03 trnsz@pobox.c: % Print Pi
f2c04ccdad 2021-03-03 trnsz@pobox.c: pi;
f2c04ccdad 2021-03-03 trnsz@pobox.c: 
f2c04ccdad 2021-03-03 trnsz@pobox.c: % Set precision back to default (12)
f2c04ccdad 2021-03-03 trnsz@pobox.c: precision(12)$
f2c04ccdad 2021-03-03 trnsz@pobox.c: 
f2c04ccdad 2021-03-03 trnsz@pobox.c: % Restore precise arithmetic
f2c04ccdad 2021-03-03 trnsz@pobox.c: off rounded$