This is the
ON_UNDER_INT
case.