clarify addition of surreals
errata for 8fa053f
Merge pull request #650 from mikeshulman/surrealaddition

clarify addition of surreals