Fix #0017381: Provide additional random number generators