parseinteger.h: Add (untested)