Code review for atting typechecker.  Fixed up access
to the last value of the number being checked.  Changes
to description.js have not been reviewed.