MODIFIED: lsp-gb4e: \exwidth for large example numbers