Gather all references in reference_lib.
Added folder for real number system.