Exact Representability in a Normalized Binary Floating-Point System

A machine operation is error-free only when its exact result fits a normalized t-bit mantissa (leading bit 1) times a power of two.