Updating the Coral Language Specification up to integer literals