Today is not pi day. Pi day is 22 July:

• Support the more efficient date format
• Support the higher-precision pi approximation