Debugger messageInt() tweaks