added fixnum specs