Change unnecessary generic constant with hard-coded value for readabi…

…lity

ceno_zkvm/src/instructions/riscv/div.rs

@@ -293,7 +293,7 @@ impl<E: ExtensionField, I: RIVInstruction> Instruction<E> for ArithInstruction<E
             || "quotient_zero_division",
             is_divisor_zero.expr(),
             quotient.value(),
-            ((1u64 << UInt::<E>::TOTAL_BITS) - 1).into(),
+            u32::MAX.into(),
             quotient.value(),
         )?;