``` // ASSUMING `FieldT` CAN FIT INTO A `ulong` ulong power = (modulus - 2).as_ulong(); ``` The modulus is FieldT(0), so the Field(0)-2 is a large integer and not suit for ulong?