> 3. + 4.;;
val it : float = 7.0
> (+);;
val it : (int -> int -> int) = <fun:it@8-2>

let inline add a b = a + b
add 1 2 //works
add 1.0 2.0 //also works

let inline (+) (x:int) (y:int) = (# "add" x y : int #)

let inline (+) (x: ^T) (y: ^U) : ^V =
     AdditionDynamic<(^T),(^U),(^V)>  x y
     when ^T : int32       and ^U : int32      = (# "add" x y : int32 #)
     when ^T : float       and ^U : float      = (# "add" x y : float #)
     when ^T : float32     and ^U : float32    = (# "add" x y : float32 #)
     ...

(# "add" 1 2 : int32 #)