commit: Mechanically change INT to FIXNUM in our sources.