cDomainRational

Dieser Definitionsbereich $D_G$ enthält Gleitkommazahlen der Form $Z=M*2^E$, wobei die Mantisse $M$ aus einem Definitionsbereich $D_M$ für die Mantisse und der Exponent $E$ aus einem Definitionsbereich $D_E$ für Exponenten kommt. $D_G=\{ M*2^E \vert (M \in D_M) \wedge (E \in D_E)\}$ Beide Definitionsbereich $D_M$ und $D_E$ kommen aus dem Definitionsbereich der (unskalierten) Ganzenzahlen.