integer everwhere