double
RealEmbeddable
FieldWithKthRoot
float
int
long int
short int
EuclideanRing
long double
long long int