A few more real128 tests