I've been looking at constrained_value. It looks great to me, I'd love to see this added to boost. I wonder if any thought has been given (or work done) in using this to implement fixed point arithmetic?