Parse "int" as well as "integer" (do we really want that?)