Make the hexical converter only convert if using "0x" as the prefix.  For the other behavior (converting no matter what) call hexical_cast directly.