to_int
: axioms for number equations
#124
+117
−0
Merged