Moved some files.
Worked a bit on the "representation of numbers".