code: def to_fp(self, sort, rm=None):
          
          if rm is None:
              rm = fp.RM.default()
  
          return fpToFP(rm, self, sort)
docs: Convert this float to a different sort
  
          :param sort:    The sort to convert to
          :param rm:      Optional: The rounding mode to use
          :return:        An FP AST