pub const W: u32 = 64;
The 64-bit datapath width — the VM’s Int is i64, so the circuit wraps identically.
Int
i64