anchor.diff:  (* ------------------------------------------------------------------------- *)
   
   // TODO : Move this into FSharp.Compatibility.OCaml
  -module Ratio = 
  +module Ratio =
  +    open FSharp.Compatibility.OCaml
  +    open FSharp.Compatibility.OCaml.Num
  +
       // NOTE : not sure what kind of normalization should be done here
       let normalize_ratio x = x
       let numerator_ratio(r : Ratio.ratio) = r.Numerator
  
positive.code: (* Combinators.                                                              *)
  (* ------------------------------------------------------------------------- *)
  
  let curry f x y = f(x, y)
  let uncurry f (x, y) = f x y
  let I x = x
  
negative.code: *)
  
  #if INTERACTIVE
  open FSharp.Compatibility.OCaml;;
  open FSharp.Compatibility.OCaml.Num;;
  #else
  /// Various useful general library functions.
  module NHol.lib
  