Fix std.BigInt bug #9548 plus 4 other bugs.