- It is working in practice, as I justed described on that new web-page and in the post yesterday.
Perhaps it is at least as far as you've tested it since fixing some of the issues found in the review. The casting bits both explicit and implicitly in things like less<double>/greater<double> are still there and would mean your GMP types are cast to double for these predicates.
With apologies, I haven't had a chance to get involved in this debate... but just to let you know that Boost.Math has a number of concept-architypes that can test for these and other errors: http://www.boost.org/doc/libs/1_41_0/libs/math/doc/sf_and_dist/html/math_too... No need to search around for possible mistakes or casts... if there is an "instantiate-everything" test, just throw the two real-number architypes at the templates and see what breaks :-) HTH, John.