Today is National Pi Day, courtesy of House Resolution 224, passed earlier this week. (Get it? Today’s 3/14, like Pi, which is approximately 3.14.) As the Resolution notes, Pi is central t…