anchor.diff:  
   type FromInt64 =
       inherit Default1
  -    static member inline FromInt64 (_:^R        ,_:Default4  ) = fun (x:int64) -> Explicit.Invoke x            : ^R
  -    static member inline FromInt64 (_:^R        ,_:Default3  ) = fun (x:int64) -> FromBigInt.Invoke (bigint x) : ^R
  -    static member inline FromInt64 (_:^R        ,_:Default2  ) = fun (x:int64) -> Implicit.Invoke x            : ^R
  -    static member inline FromInt64 (_:^R        ,_:Default1  ) = fun (x:int64) -> (^R: (static member FromInt64: _ -> ^R) x)
  -    static member inline FromInt64 (_:Default1  ,_:Default1  ) = fun (x:int64) -> (^R: (static member FromInt64: _ -> ^R) x)
  +    static member inline FromInt64 (_:^R        , _:Default4 ) = fun (x:int64) -> Explicit.Invoke x            : ^R
  +    static member inline FromInt64 (_:^R        , _:Default3 ) = fun (x:int64) -> FromBigInt.Invoke (bigint x) : ^R
  +    static member inline FromInt64 (_:^R        , _:Default2 ) = fun (x:int64) -> Implicit.Invoke x            : ^R
  +    static member inline FromInt64 (_:^R        , _:Default1 ) = fun (x:int64) -> (^R: (static member FromInt64: _ -> ^R) x)
  +    static member inline FromInt64 (_:Default1  , _:Default1 ) = fun (x:int64) -> (^R: (static member FromInt64: _ -> ^R) x)
       static member        FromInt64 (_:int32     , _:FromInt64) = fun (x:int64) -> int32           x
       static member        FromInt64 (_:int64     , _:FromInt64) = fun (x:int64) ->                 x
       static member        FromInt64 (_:nativeint , _:FromInt64) = fun (x:int64) -> nativeint  (int x)
  
positive.code: 
  type One =
      inherit Default1
      static member inline One (_:'t             ,_:Default1) = FromInt32.Invoke 1            :'t
      static member inline One (_:'t             ,_:One     ) = LanguagePrimitives.GenericOne :'t
      static member inline One (_:^t when ^t: null and ^t: struct, _:One) = id
  
      static member inline Invoke ()   :'Num    =
  
negative.code: 
  type FromInt32 =
      inherit Default1
      static member inline FromInt32 (_:^R        , _:Default4 ) = fun (x:int32) -> Explicit.Invoke x          : ^R
      static member inline FromInt32 (_:^R        , _:Default3 ) = fun (x:int32) -> FromInt64.Invoke (int64 x) : ^R
      static member inline FromInt32 (_:^R        , _:Default2 ) = fun (x:int32) -> Implicit.Invoke x          : ^R
      static member inline FromInt32 (_:^R        , _:Default1 ) = fun (x:int32) -> (^R: (static member FromInt32: _ -> ^R) x)
      static member inline FromInt32 (_:Default1  , _:Default1 ) = fun (x:int32) -> (^R: (static member FromInt32: _ -> ^R) x)
      static member        FromInt32 (_:int32     , _:FromInt32) = fun (x:int32) ->                 x
      static member        FromInt32 (_:int64     , _:FromInt32) = fun (x:int32) -> int64           x
      static member        FromInt32 (_:nativeint , _:FromInt32) = fun (x:int32) -> nativeint  (int x)
  