Definition: Rundung von Maschinenzahlen

Sei die Menge der Maschinenzahlen.
Als Rundung bezeichnen wir die Abbildung

mit den Eigenschaften:

  1. Maschinenzahlen werden nicht gerundet
  2. Reelle Zahlen werden auf die nächstgelegene Maschinenzahl gerundet