bug#58446: 28.2; file-attribute-device-number returns a cons cell instead of an integer

[Eli Zaretskii]

> Cc: Thierry Volpiatto <thievol@posteo.net>, 58446@debbugs.gnu.org
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Thu, 13 Oct 2022 08:31:06 +0200
> 
> Michael Albinus <michael.albinus@gmx.de> writes:
> 
> But if we haven't needed that until now, we're probably not going to
> need it going forward, and we should just document the current status
> quo. 
> 
> > And perhaps we could even add a helper function to extract the
> > information for a file's uniqueness:
> >
> > (defsubst file-attribute-file-number (attributes)
> >   "The inode and device numbers in ATTRIBUTES returned by `file-attributes'.
> > It can be used to determine whether two files are identical."
> >   (nthcdr 10 attributes))
> >
> > WDYT?
> 
> Makes sense to me.

Agreed.