Definition:Floating-Point Representation/Normalized

From ProofWiki
Jump to navigation Jump to search

Definition

Let $x$ be a real number implemented in floating-point representation as:

$x = f \times \beta^e$

such that:

$x = \pm \sqbrk {0.f_1 f_2 \ldots f_t} \times \beta^e$

This representation is said to be normalized if and only if $f_1 \ne 0$.


Sources