Happy Pi Day, @Reds fans!