These aren’t all quite correctly rounded. E.g., the 12th number is about −0.3225 but it isn’t the nearest IEEE754 doublefloat to −0.3225. I suspect these are “honest” rounding errors (i.e., the values were produced by some sort of computation with roundoff error) rather than there being extra hidden information lurking in the low bits.
These aren’t all quite correctly rounded. E.g., the 12th number is about −0.3225 but it isn’t the nearest IEEE754 doublefloat to −0.3225. I suspect these are “honest” rounding errors (i.e., the values were produced by some sort of computation with roundoff error) rather than there being extra hidden information lurking in the low bits.