happy pi day! let's rename pi to Luigi's Constant