Every proposed list of real decimals misses a constructible decimal.
The original experience and its breakdown will appear here.
