anchor.diff:  
   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             , _: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    =
  
positive.code: 
  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        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)
  
negative.code:     static member inline MaxValue ((_:'a*'b*'c*'d*'e         ), _:MaxValue) = (MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke())
      static member inline MaxValue ((_:'a*'b*'c*'d*'e*'f      ), _:MaxValue) = (MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke())
      static member inline MaxValue ((_:'a*'b*'c*'d*'e*'f*'g   ), _:MaxValue) = (MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke())
      static member inline MaxValue ((_:'a*'b*'c*'d*'e*'f*'g*'h), _:MaxValue) = (MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke(), MaxValue.Invoke())
  