Or at least that IntConstraint is here as an example, and that others will come later.