Fix: a minor bigint conversion bug.