User:FB100Z/Surreal numbers