bug fix, "int" and "integer" are is now unified to "integer" type