Real Numbers Detailed