Complete description of FIXNUM-<-INSTRUCTION.