gmp_random_seed()
Merge branch 'pull-request/877'

* pull-request/877:
  gmp_random_seed()