The concept RingNumberType combines the requirements of the concepts IntegralDomainWithoutDivision and RealEmbeddable. A model of RingNumberType can be used as a template parameter for homogeneous kernels.
IntegralDomainWithoutDivision
RealEmbeddable