precision on pi.html