Fix std.BigInt bug #9548 plus other new discovered bugs.