Documents for saturating arithmetic was added.