@Dave H: If we make pi = 3, what will that do to Pi Day?