added \label{sec:RealEmbeddable}

Algebraic_foundations/doc_tex/Algebraic_foundations/real_embeddable.tex

@@ -1,4 +1,5 @@
 \section{Real Embeddable}
+\label{sec:RealEmbeddable}
 
 Most number types represent some subset of the real numbers. From those types 
 we expect functionality to compute the sign, absolute value or double 
@@ -43,4 +44,4 @@ that correlates to the one of the real numbers, a sign, an absolute value and
 
 However, most number types are representing some subset of the real numbers and from that
 we can expect an order on these types that correlates to the one of the real numbers. 
-}              
+}