Le numérateur d'un rationnel sous forme réduite (son signe est celui de la valeur).

Le dénominateur d'un rationnel sous forme réduite (toujours > 0).

Construit p / q sous forme réduite avec un dénominateur positif. rational 2 4 et rational 1 2 sont la même valeur ; rational 1 (-2) vaut (-1) / 2. (Un dénominateur nul est laissé dégénéré — la division par lui est indéfinie, exactement comme pour les types numériques intégrés.)