Proposed Random123 functions for Boost.Random