Add an example of real PI