printDbg number output format changed to hex