Well, we mustn't be incompatible. Let's change the Lisp reader so that when it is reading at the top level of the inside of a PROG form, it recognizes 345 as a symbol. Of course, 345. and 345_2 should still be fixnums, since Pascal doesn't allow these?