clarify addition of surreals