Experiment: optimized representation for nat constants (a zarith Z.t values)
#21729
+1,222
−270
Loading