printf( format, ...)	is the C printf function.  The first argument must
			be a string.  Further arguments must be scalars.
			Since all numeric values are stored as double,
			integer formats like %x, %d, etc. won't work.