webfigure.js obeys jshint (mostly)
Figure_To_Pdf.py casts strings to numbers