mathlib3

2851236b - feat(data/real/pi): Compute the first three digits of pi (#822)