Your comment is so bizarre that I almost think you must have attached it to the wrong post.
I programmed in OCaml for many years.
Yes, there is no automatic type conversion in OCaml. I certainly never said there was. Some people see this as a feature (you know exactly what you're dealing with at all times), some as an issue (you have to write tedious conversions that some languages handle for you).
Yes, there are different arithmetic operators for different numeric types. It's a little bizarre when you're used to other languages, but once you get used to it it's not an issue.
Most of my code was compiled so I didn't experience issues with compiled vs interpreted.
It certainly had a few rough edges here and there, perhaps because the community was not as large as more mainstream languages. They probably would have been ironed out if the language had really taken off.