Further cleanup to handling of random numbers by CustomIntegrator