5 ms·

Honestly BigInts are not a big deal, they're pretty mature at this day and age (and I mean, 20 yrs ago)