[Users] Test case requiring strict floating point operation ordering