added a section In dependent type thery (here) displaying the construction, assuming , of , , (Bishop style) and as ring data structures (omitting only the construction of all the property certificates).
It’s a substantial edit, but still a little terse. To be expanded a little more.
]]>added pointer to:
Reorganized and added to the list of types of numbers.
]]>