Done Ticket #227 Check/Fix String/Integer distinction when pushing a constant