Complete description of FIXNUM---INSTRUCTION.