{"action":"created","issue":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/13950","labels_url":"https://api.github.com/repos/JuliaLang/julia/issues/13950/labels{/name}","comments_url":"https://api.github.com/repos/JuliaLang/julia/issues/13950/comments","events_url":"https://api.github.com/repos/JuliaLang/julia/issues/13950/events","html_url":"https://github.com/JuliaLang/julia/pull/13950","id":116417500,"number":13950,"title":"WIP: Reintroduce random BigFloats removed in 1a8885b","user":{"login":"mschauer","id":1923437,"avatar_url":"https://avatars.githubusercontent.com/u/1923437?v=3","gravatar_id":"","url":"https://api.github.com/users/mschauer","html_url":"https://github.com/mschauer","followers_url":"https://api.github.com/users/mschauer/followers","following_url":"https://api.github.com/users/mschauer/following{/other_user}","gists_url":"https://api.github.com/users/mschauer/gists{/gist_id}","starred_url":"https://api.github.com/users/mschauer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mschauer/subscriptions","organizations_url":"https://api.github.com/users/mschauer/orgs","repos_url":"https://api.github.com/users/mschauer/repos","events_url":"https://api.github.com/users/mschauer/events{/privacy}","received_events_url":"https://api.github.com/users/mschauer/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-11-11T20:45:23Z","updated_at":"2015-11-26T20:23:07Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/JuliaLang/julia/pulls/13950","html_url":"https://github.com/JuliaLang/julia/pull/13950","diff_url":"https://github.com/JuliaLang/julia/pull/13950.diff","patch_url":"https://github.com/JuliaLang/julia/pull/13950.patch"},"body":"These would be the bare bones changes needed to reintroduce sampling of random floats to address #13948 (Tests and docs if interest, then.) \r\n\r\nThis does not yet intent to link the ``BigFloat``-number generator with the global number generator. This can be done similar to #4845, but I think linking those is not strictly necessary. \r\n\r\n This order of dependencies (``GMPRandState`` in gmp.jl, ``mpfr_urandomb``-wrapper in mpfr.jl depending on ``GMPRandState`` and finally ``BigFloatRNG`` in random.jl depending on both of them) corresponds with the order in sysimg.jl. Would that mean that the problem 1a8885b does not appear?"},"comment":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/comments/159990029","html_url":"https://github.com/JuliaLang/julia/pull/13950#issuecomment-159990029","issue_url":"https://api.github.com/repos/JuliaLang/julia/issues/13950","id":159990029,"user":{"login":"mschauer","id":1923437,"avatar_url":"https://avatars.githubusercontent.com/u/1923437?v=3","gravatar_id":"","url":"https://api.github.com/users/mschauer","html_url":"https://github.com/mschauer","followers_url":"https://api.github.com/users/mschauer/followers","following_url":"https://api.github.com/users/mschauer/following{/other_user}","gists_url":"https://api.github.com/users/mschauer/gists{/gist_id}","starred_url":"https://api.github.com/users/mschauer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mschauer/subscriptions","organizations_url":"https://api.github.com/users/mschauer/orgs","repos_url":"https://api.github.com/users/mschauer/repos","events_url":"https://api.github.com/users/mschauer/events{/privacy}","received_events_url":"https://api.github.com/users/mschauer/received_events","type":"User","site_admin":false},"created_at":"2015-11-26T20:23:07Z","updated_at":"2015-11-26T20:23:07Z","body":"Thanks. As said, if there is general interests, I add the tests and the docs."}}