added section discussing Dedekind cuts