tactic.norm_num.eval_gcd source