Use unicode pi symbol in pi estimation example. Additional tweaks