smt2: size conversions