Finalize fixed-point numbers with saturation

For now, rounding is still used as the truncation method for all
the 'Num'-related operations. In the future, fancier methods,
such as "round-to-nearest-even", will be added.