Fix the printing of bit-vectors and floating-point numbers#433

filipeom merged 3 commits intoformalsec:mainformalsec/smtml:mainfrom

hra687261:fix_bv_fp_printinghra687261/smtml:fix_bv_fp_printingCopy head branch name to clipboard