Actually computes PI