ln(pi)/2 to 100 digits