Som vi alle ved, er det naturligvis Pi-dagen i dag, også kendt som 14. marts, også kendt som 3/14, også kendt som 3.14, også kendt som Pi. (Whew.