#157 Add local (fixed) copy of stanford.arithmetic, for testing