You’re correct. To be fair I posted without coffee from memory so I was bound to get a few wrong. My point still stands. All numbers are in pi in the first 32 digits.