~3.14

happy pi day.

(does that mean the rest of the world celebrates it on 22 July? ;)