# Test MRI floating point constants
S0.*
-S118....(123456789ABCDEF03F800000412000004120000042)|(F0DEBC9A785634120000803F000020410000204100).*
-S10.....(C80000)|(00C842).*
+S113....(123456789ABCDEF03F80000041200000)|(F0DEBC9A785634120000803F00002041).*
+S10.....(4120000042C80000)|(000020410000C842).*
#pass