Re: [V] carbon2-commit: Use bignums if necessary for file size in #'file-attributes.