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

[Eli Zaretskii]

> Cc: Thierry Volpiatto <thievol@posteo.net>, Lars Ingebrigtsen 
> <larsi@gnus.org>,
>  58446@debbugs.gnu.org
> From: Michael Albinus <michael.albinus@gmx.de>
> Date: Fri, 14 Oct 2022 21:03:15 +0200
> 
> Stefan Monnier <monnier@iro.umontreal.ca> writes:
> 
> Hi Stefan,
> 
> >>> - The name `file-attribute-file-number` doesn't sound right
> >>>   because it doesn't return a number.
> >> The name is a reminiscence of the existing variable buffer-file-number,
> >> which serves exactly the same purpose.
> >
> > One error doesn't justify another.
> > Maybe a better name would be "file identifier"?
> 
> True, but I'd let decide the maintainers.

It would be better, yes.  I already changed "device number" to eithe
just "device" or "device identifier", in the documentation you touched
today, since talking about "device number" when it can be a cons of 2
numbers doesn't sound like a good idea.