- ensure concats and repeats stay unsigned - defer unbased-unsized conversion to enable cast semantics - disable inaccurate folding of binary operations of based numbers - fix typeof and size cast binop signedness logic - fix typeof $unsigned and $signed - test harness allows production of `integer unsigned`