happy pi day, nerds.