-Arguably <Emphasis>not</Emphasis> an infelicity, but… Bear in mind that
-operations on <Literal>Int</Literal>, <Literal>Float</Literal>, and <Literal>Double</Literal> numbers are
-<Emphasis>unchecked</Emphasis> for overflow, underflow, and other sad occurrences.
-(note, however that some architectures trap floating-point overflow
-and loss-of-precision and report a floating-point
-exception)<IndexTerm><Primary>floating-point exceptions</Primary></IndexTerm>.
+Arguably <Emphasis>not</Emphasis> an infelicity, but… Bear in
+mind that operations on <Literal>Int</Literal>,
+<Literal>Float</Literal>, and <Literal>Double</Literal> numbers are
+<Emphasis>unchecked</Emphasis> for overflow, underflow, and other sad
+occurrences. (note, however that some architectures trap
+floating-point overflow and loss-of-precision and report a
+floating-point exception, probably terminating the
+program)<IndexTerm><Primary>floating-point
+exceptions</Primary></IndexTerm>.