significand property
Implementation
late final BigInt? significand = () {
if (isNaN) return null;
final resultPtr = calloc<Uint64>();
try {
final result = _c._z3.fpa_get_numeral_significand_uint64(
_n,
resultPtr,
);
if (!result) return null;
final resultValue = BigInt.from(resultPtr.value);
return resultValue < BigInt.zero ? -resultValue : resultValue;
} finally {
malloc.free(resultPtr);
}
}();