snarkvm-circuit-integers