log/smt2perr049.smt2:1:36: invalid bit-width '1.1', expected integer