Added heximal printing to printf.