Merge branch 'refs/heads/fix-text'
Add Num.of_float_string that takes a decimal literal
Fix: strange index calculation in find, rfind
Add tests for split and rsplit
Fix: strange behaviour of nsplit and add tests.
Describe the situation where the separator is not found.
Fix docs (and code some) to remove nonstandard use of Invalid_rope in BatText
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/batText.ml
Oops. My mistake.
Fix: invalid evaluation and exceptions of index.

The old index returns an offset number from the given position, not
index of the entire rope.
Like String.index, if the target character is not found in the given rope,
index should raise Out_of_bounds, not Not_found.
Also added some tests.