# real

CIE pp. 15-16,23-24. Binary fractions with denominator 8 keep sums and products exactly representable, so these checks need neither tolerances nor REAL text formatting. All intermediates fit a 32-bit C++ int.

Each record produces exactly one output line. Random records are preceded by fixed boundary records; every arithmetic intermediate is bounded.