Removing overlay BigInt as fixed in https://bugs.gentoo.org/show_bug.cgi?id=427040