class RandomWithBigInt in package perso.utils
assertion in exp that n>=0