The real number system (HSN.RN)