Added subsection on FIXNUM-<-AST.