Removed references to FIXNUM-ARITHMETIC-AST.