[boost] [Random] Proposal: Faster RANLUX engines