let succ = succ_big_int