http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51795
--- Comment #13 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-01-27 13:23:01 UTC --- Note that besides the case of the linear_congruential (where we could definitely static_assert, I don't consider such uses really important in practice, given also that generators much better from the statistical point of view are highly recommended (for example the last Numeric Recipes recommends avoiding linear congruential and doesn't provide anymore code for it), we have also to resolve the problem with the implementation of generate, where an algorithm is described in detail involving multiplications and currently we also use __mod for unsafe arguments.
