Updating specification of integers in CLS