--- a/src/Term.h    2011-09-23 15:09:12.000000000 -0500
+++ b/src/Term.h    2013-05-10 11:42:01.846492600 -0500
@@ -99,6 +99,10 @@
     ASSERT(offset < _varCount);
     return _exponents[offset];
   }
+  Exponent operator[](unsigned long long offset) const {
+    ASSERT(offset < _varCount);
+    return _exponents[offset];
+  }
 
   Exponent& operator[](int offset) {
     ASSERT(0 <= offset);
@@ -113,6 +117,10 @@
     ASSERT(offset < _varCount);
     return _exponents[offset];
   }
+  Exponent& operator[](unsigned long long offset) {
+    ASSERT(offset < _varCount);
+    return _exponents[offset];
+  }
 
   bool operator==(const Term& term) const {
     ASSERT(_varCount == term._varCount);
