deftype UNSIGNED-FIXNUM