We are working on a Circom export to Cairo, but we have a problem with the numbers we receive from snarkjs (they get truncated before we can turn them into BigInt3 due to their size). Our workaround was to split these numbers before they reach Cairo, but this involves changing snarkjs’ code, which we would like to avoid. Is there a better way we could solve this?