Convert to Big_int.