sign property

@override int sign

Implementation

@override
int get sign {
  final resultPtr = calloc<Int>();
  try {
    final success = _c._z3.fpa_get_numeral_sign(_n, resultPtr);
    assert(success);
    return resultPtr.value;
  } finally {
    malloc.free(resultPtr);
  }
}