Strict-num

A collection of bounded numeric types that enforce constraints at compile and runtime.