The author of Cap'n Proto recently wrote an article about representing range types via C++ templates to protect against overflow: https://capnproto.org/news/2015-03-02-security-advisory-and-...