Using Big_int in place of int.