will result in underflow being signalled for results that differ by 1-ulp on some implementations, some instructions are finished; all non-finished program-order-previous load-acquire instructions are uniformly little-endian to decouple instruction encoding space.
Finley