Is there an enhanced interpreter toploop for OCaml?

Python has IPython.. does OCaml have anything similar?

I'd very much like to have command history, although other features would be nice too. I've read that I could get command history by running it in Emacs, but I don't use Emacs..