pub fn is_exception(&self) -> bool {
        self.0[6].as_canonical_u32() == 0
    }
Returns whether the extension field element viewed as an y-coordinate of a digest cannot
represent anything.
crates/stark/src/septic_extension.rs