[libc] [llvm] [libc] Refactor `BigInt` (PR #86137)

[Clement Courbet via llvm-commits]

https://github.com/legrosbuffle commented:

First pass of comments. Can you run benchmarks to check that the generated code is still good ?

https://github.com/llvm/llvm-project/pull/86137