IEEE 754 Rounding Modes Explained

When a mathematical result cannot be represented exactly in floating-point, it must be rounded to the nearest representable value. IEEE 754 defines five rounding modes, each with different properties and use cases.

Mode 1: Round to Nearest, Ties to Even (default)

This is the default mode in virtually all programming languages and hardware. When the exact result falls exactly halfway between two representable values, it rounds to the one whose least significant mantissa bit is 0 (i.e., the even one).

Example:

• 1.5 rounds to 2 (even)
• 2.5 rounds to 2 (even)
• 3.5 rounds to 4 (even)
• 0.5 rounds to 0 (even)

This is also called "banker's rounding." It prevents statistical bias that would accumulate if ties were always rounded up. Over many operations, round-to-even produces the least accumulated error.

Mode 2: Round Toward +Infinity (ceiling)

Always rounds toward positive infinity. Positive values round up, negative values round toward zero.

Useful for: computing upper bounds in interval arithmetic.

Mode 3: Round Toward -Infinity (floor)

Always rounds toward negative infinity. Positive values round toward zero, negative values round to larger magnitude.

Useful for: computing lower bounds in interval arithmetic.

Mode 4: Round Toward Zero (truncation)

Always rounds toward zero. This simply discards the extra bits without any rounding. It is the default for integer conversions in C.

Useful for: integer truncation and fixed-point arithmetic.

Mode 5: Round to Nearest, Ties Away from Zero

Like round-to-nearest, but ties round away from zero instead of to even. This is the rounding taught in school: 0.5 rounds to 1, -0.5 rounds to -1.

This mode is required by IEEE 754-2008 for decimal arithmetic but is optional for binary. Most hardware implements only the first four modes.

Why default matters:

Round-to-nearest-even is the default because it minimizes error accumulation. Over a large number of operations, the expected error is zero (ties round up half the time and down half the time). Other modes introduce systematic bias that grows with the number of operations.

Changing rounding mode in practice:

Most languages do not expose rounding mode control directly. In C, use fesetround(FE_TONEAREST) etc. In JavaScript, the rounding mode is always round-to-nearest-even and cannot be changed for basic arithmetic (though Math.round, Math.floor, and Math.ceil provide explicit rounding).