Checks if T has the basic properties of a rational type, i.e. it has a numerator and a denominator.
See Implementation
Checks if T has the basic properties of a rational type, i.e. it has a numerator and a denominator.