Found a final fix for BigInts