| direct-children | documentation | graph |

Number | 19 | A measure of how many things there are, or how much there is, of a certain kind. Numbers are subc... | ^ |

RealNumber | 15 | Any Number that can be expressed as a (possibly infinite) decimal, i.e. any Number that has a p... | ^ |

RationalNumber | 7 | Any RealNumber that is the product of dividing two Integers. | ^ |

IrrationalNumber | . | Any RealNumber that is not also a RationalNumber. | ^ |

NonnegativeRealNumber | 5 | A RealNumber that is greater than or equal to zero. | ^ |

NegativeRealNumber | 1 | A RealNumber that is less than zero. | ^ |

BinaryNumber | . | Elements from the number system with base 2. Every BinaryNumber is expressed as a sequence of the... | ^ |