* smallprint.cc (rnarg): Fix cast to print negative values correctly.
	* include/a.out.h: Fix up for x86_64.