Howard Hinnant wrote: > http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1780.html By the way, a slightly pedantic remark even if correct, admittedly: wouldn't be more correct in the pseudocode '<' instead of '<=', and likewise '>' instead of '>='? Paolo.