ARC: print numbers in hex, don't use 0x prefix if the number is in [0..9...

...]

Fixes #306