Improved unsigned_value_specification and literal.