Number game
= Number game
A number game is a recursively defined normal-play <partizan game> whose options are number games and every left option is smaller than every right option. Its value is the simplest <surreal number> between those options. Finite number games have <dyadic rational> values.