Making UNSIGNED-INTEGER a type.