Fix bug in fixed-point addition with binary circuits.

Author: mkskeller

Compiler/types.py

@@ -4704,7 +4704,7 @@ def set_precision_from_args(cls, program, adapt_ring=False):
 
     @classmethod
     def coerce(cls, other, equal_precision=None):
-        if isinstance(other, (_fix, cls.clear_type)):
+        if isinstance(other, (_fix, cls.clear_type, _vectorizable)):
             return other
         else:
             return cls.conv(other)
@@ -4789,6 +4789,9 @@ def load_int(self, v):
     def __getitem__(self, index):
         return self._new(self.v[index])
 
+    def __iter__(self):
+        return (self._new(x) for x in self.v)
+
     @vectorize 
     def add(self, other):
         """ Secret fixed-point addition.