I saw that Nigel posted pretty close to 3:14 by the posting clock. Thought that might be more than coincidence.

Didn't get the 22/7 reference until it was in my face. That's my usual level of attention. Over here we write it 7/22.

Actual rememberance: I was a fast multiplier so I was talked onto my elementary school math team. There must have been some sudden vacancy. We boarded a bus after school to go to another school. No girls. And the boys who'd been on the team before were talking amongst themselves whether or not they could use 22/7ths for this thing called PIE. I had no idea what PIE was!