RngStream using doubles only (buggy)