Update Big_integer.i