It’s 3:14 pm ET as this post goes live, so…Happy Pi Day, folks! Unfortunately I’ve yet to celebrate Pi Day properly, but one of these years….