Benchmark

[pi8027]

Apparently, the recent introduction of number notations or MC2 triggered a slowdown of compilation. So I suggest doing the following two benchmarks:

• A performance comparison (timed diff) of apery before/after the introduction of number notations. Commit e40179eb4e8452250741f4ead570ea9dc2ec77e3 should work with MathComp 1.12 to 1.17, and would be suited for this benchmarking.
• A performance comparison of apery with MC1 and MC2 (before/after Port to MathComp 2 #16).