Updated bigint.inc