feat(basic): print out hexadecimal float
update main loop
fix(cil2smt2/test/get_low_nbits): use '%a' to print
feat(cil2smt2/cil2smt.ml): add extra constraint for index
feat(cil2smt2/cil2smt.ml): simplify get_low_nbits handling