counterexamples: add hexadecimal representation for int and bv
In the printing of counterexamples, int and bv are printed in decimal notation. We could add an hexadecimal notation (same as what is done for float).
In the printing of counterexamples, int and bv are printed in decimal notation. We could add an hexadecimal notation (same as what is done for float).