That’s nice and helps remember it’s 22/7. Americans can have their 14th of March, and let 22/7 be the international pi day.