The spec only says the result should not change due to the right argument, so there is room to expand these tests. Same goes for type promotion tests.