See https://docs.sotazk.org/docs/non_native_field_arithmetic/, https://web.archive.org/web/20230709130814/https://hackmd.io/@arielg/B13JoihA8, https://github.com/privacy-scaling-explorations/zk-eigentrust/blob/master/eigentrust-zk/src/integer/mod.rs, https://hackmd.io/@JkY-zACaSqerTtn_UwFjKg/SJZw6x75o, https://github.com/JumpCrypto/plonky2-crypto/blob/main/src/nonnative/gadgets/biguint.rs