[pdftex] 1px is not 1bp which seems to contradict the pdftex manual

[jfbu]

Hi David,

I saw your post in this thread but I am not subscribed so I can't
reply in a way which will be nicely indented in the pipermail view,
sorry about that.

You said
> On 25/03/2023 19:26, jfbu wrote:
>> The default value of \pdfpxdimen is 1 bp,
> 
> it's 1sp more than the length you get from 1bp, unless you set
> \pdfpxdimen=1bp
> 
> David

indeed, and I am replying only to stress that the quote above
is not from me but is what I quoted from the pdftex manual...
... which thus appears to not be 100% true at that place.

Best,

Jean-François