Make toHex able to deal with Bit#(n) with n<4