Iain Buclaw:
BigInt is certainly on the cards for making native 128-bit support possible, but it still needs to be set apart from global and function symbols. For that, it needs to finally be given a mangled identifier.
Is a mangled identifier also useful for partially library defined checked integrals (currently 4 types)?
Bye, bearophile