See
BPFK Section: Inexact Numbers
.