Updating: re-organizing prelude/gnumber
Updating: re-organizing various code.