Hard is a project mainly written in C++, it's free.
Integer types for C++ that disallow implicit conversions
A simple set of classes representing the integer types with identical performance (assuming an optimizing compiler) but that disallow all implicit conversions.