parameters: (self)
return_statement: return int(Z3_fpa_get_sbits(self.ctx_ref(), self.ast))
docstring: Retrieves the number of bits reserved for the significand in the FloatingPoint sort `self`.
          >>> b = FPSort(8, 24)
          >>> b.sbits()
          24
docstring_summary: Retrieves the number of bits reserved for the significand in the FloatingPoint sort `self`.
          >>> b = FPSort(8, 24)
          >>> b.sbits()
          24
docstring_tokens: Retrieves the number of bits reserved for the significand in the FloatingPoint sort self . >>> b = FPSort ( 8 24 ) >>> b . sbits () 24
function: def sbits(self):
          """Retrieves the number of bits reserved for the significand in the FloatingPoint sort `self`.
          >>> b = FPSort(8, 24)
          >>> b.sbits()
          24
          """
          return int(Z3_fpa_get_sbits(self.ctx_ref(), self.ast))
function_tokens: def sbits ( self ) : return int ( Z3_fpa_get_sbits ( self . ctx_ref ( ) , self . ast ) )