Re: [boost] [review][constrained_value] Review of Constrained Value Library begins today

From: Johan Rade The statement is "x <= y before truncation implies x <= y after truncation".

Or more specifically: "x < y before truncation implies x <= y after truncation" Is this right?