fn eq(a: &U56x8, b: &U56x8) -> bool {
        let mut c = Self::sub(a, b);
        Self::strong_reduce(&mut c);
        let mut ret = 0u64;
        for limb in c.limbs.iter() {
            ret |= limb;
        }
        ret == 0
    }
Taken from https://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/src/per_field/f_generic.tmpl.c
crates/math/src/field/fields/p448_goldilocks_prime_field.rs