Exact u64 abort code — BigInt because clever-error encodings pack data into the high bits, which an int cast could misrepresent.
int
final BigInt code;