bignum note

[giaco]

I stepped on similar problem recently.

As soon as I figured out the reason, I switched my project to atlas.