mathlib3

65a75b02 - half finished decimal expansions