TEIIDDES-2018 mapping imported "integer" type to "int"