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

Fixes #306