17: Arithmétique exacte
Nombres manipulés: sous ensemble des réels
Type numérique garantissant l'exactitude des opérations:
+, -, *, /, racine carrées
comparaisons