diff --git a/experiments/timfuz/timfuz_perf.py b/experiments/timfuz/timfuz_perf.py
index 4246f034..df1998a8 100644
--- a/experiments/timfuz/timfuz_perf.py
+++ b/experiments/timfuz/timfuz_perf.py
@@ -14,8 +14,9 @@ import sympy
 from collections import OrderedDict
 from fractions import Fraction
 import random
+from sympy import Rational
 
-def fracr(r):
+def intr(r):
     DELTA = 0.0001
 
     for i, x in enumerate(r):
@@ -23,11 +24,25 @@ def fracr(r):
             xi = int(x)
             assert abs(xi - x) < DELTA
             r[i] = xi
+
+def fracr(r):
+    intr(r)
     return [Fraction(x) for x in r]
 
 def fracm(m):
     return [fracr(r) for r in m]
 
+def symratr(r):
+    intr(r)
+    return [Rational(x) for x in r]
+
+def symratm(m):
+    return [symratr(r) for r in m]
+
+def intm(m):
+    [intr(r) for r in m]
+    return m
+
 def create_matrix(rows, cols):
     ret = np.zeros((rows, cols))
     for rowi in range(rows):
@@ -43,7 +58,7 @@ def create_matrix_sparse(rows, cols):
                 ret[rowi][coli] = random.randint(1, 10)
     return ret
 
-def run(rows=35, cols=200, verbose=False, encoding='np', sparse=False):
+def run(rows=35, cols=200, verbose=False, encoding='np', sparse=False, normalize_last=True):
     random.seed(0)
     if sparse:
         mnp = create_matrix_sparse(rows, cols)
@@ -52,12 +67,17 @@ def run(rows=35, cols=200, verbose=False, encoding='np', sparse=False):
     #print(mnp[0])
 
     if encoding == 'fraction':
-        mfrac = fracm(mnp)
-        msym = sympy.Matrix(mfrac)
+        msym = sympy.Matrix(fracm(mnp))
     elif encoding == 'np':
         msym = sympy.Matrix(mnp)
+    elif encoding == 'sympy':
+        msym = sympy.Matrix(symratm(mnp))
+    # this actually produces float results
+    elif encoding == 'int':
+        msym = sympy.Matrix(intm(mnp))
     else:
         assert 0, 'bad encoding: %s' % encoding
+    print(type(msym[0]), str(msym[0]))
 
     if verbose:
         print('names')
@@ -65,12 +85,13 @@ def run(rows=35, cols=200, verbose=False, encoding='np', sparse=False):
         print('Matrix')
         sympy.pprint(msym)
 
-    print('%s matrix, %u rows x %u cols, sparse: %s' % (encoding, len(mnp), len(mnp[0]), sparse))
+    print('%s matrix, %u rows x %u cols, sparse: %s, normlast: %s' % (encoding, len(mnp), len(mnp[0]), sparse, normalize_last))
     bench = Benchmark()
     try:
-        rref, pivots = msym.rref()
+        rref, pivots = msym.rref(normalize_last=normalize_last)
     finally:
         print('rref exiting after %s' % bench)
+    print(type(rref[0]), str(rref[0]))
 
     if verbose:
         print('Pivots')
@@ -90,10 +111,11 @@ def main():
     parser.add_argument('--sparse', action='store_true', help='')
     parser.add_argument('--rows', type=int, help='')
     parser.add_argument('--cols', type=int, help='')
+    parser.add_argument('--normalize-last', type=int, help='')
     parser.add_argument('--encoding', default='np', help='')
     args = parser.parse_args()
 
-    run(encoding=args.encoding, rows=args.rows, cols=args.cols, sparse=args.sparse, verbose=args.verbose)
+    run(encoding=args.encoding, rows=args.rows, cols=args.cols, sparse=args.sparse, normalize_last=bool(args.normalize_last), verbose=args.verbose)
 
 if __name__ == '__main__':
     main()