def to_domain(self):
     return domain.constant(self, domain.any_precision(self, self))
 def to_domain(self):
     return domain.constant(self,
                            domain.fixed_precision(self, self,
                                                   self.binary_pt,
                                                   self.binary_pt))