Also alas, 80bit is a bit of a misnomer - when comparing to the more regular ieee754 representations, it’s actually fp79 :D
For intermediate calculations it incorporates the internal extended pi via the GRS bits.
And yeah the train wreck of argument reduction was my reference