have integer() return casted input as int()