pub fn populate(
        &mut self,
        record: &mut impl ByteRecord,
        a: &BigUint,
        b: &BigUint,
        op: FieldOperation,
    ) -> BigUint {
        self.populate_with_modulus(record, a, b, &P::modulus(), op)
    }
Populate these columns without a specified modulus (will use the modulus of the field
parameters).
crates/core/machine/src/operations/field/field_op.rs