Fixing bug involving comparison of Big_ints.
Trace visualization in SVG not PDF.