integer constraint