The same issue has been discussed recently, and answered conclusively, on the OCaml mailing-list (and StackOverflow).

Thanks! Jim Pryor also pointed me at Nathan Linger’s explanation.