'auto' is not a number, too, so we don’t have to look for it separately.