It never bothered me in Caml Light, let alone when Objective Caml was introduced.
x *. y +. z
let open Float in x * y + z
Float.(x * y + z)
let open Quaternion in x * y + x
module Quaternion = struct let (+) = ... let ( * ) = ... end
let open Quaternion in
x * y + z