See the recent thread "DbI checked integral". Saturation is a direct goal, and you should be able to optimize operations for each type by defining relatively small hooks.
alas, it is completely inappropriate for any computation-heavy task. even if dmd inliner will do some miracle and will inline some calls.
