anchor.diff:                  (fromIntegral a, b)        
               let inline truncate (x:'RealFrac) :'Integral = fst <| properFraction x
               let (i:bigint,d) = properFraction x
  -            (i </ratio/> 1I) + (truncate (decimal d </opMultiply/> 1000000000000000000000000000M) </ratio/> 1000000000000000000000000000I) :Rational
  -        static member inline instance (ToRational, x:'t      , _) = fun () -> (toInteger x) </ratio/> 1I
  +            (i </ratio/> 1I) + (truncate (decimal d *. 1000000000000000000000000000M) </ratio/> 1000000000000000000000000000I) :Rational
  +        static member inline instance (ToRational, x:'t, _) = fun () -> (toInteger x) </ratio/> 1I
   
   
   // Floating class ---------------------------------------------------------
  
positive.code: // RealFrac class ---------------------------------------------------------
  module RealFrac =
      type ProperFraction = ProperFraction with
          static member        instance (ProperFraction, x:float   , _) = fun () -> let t = truncate x in (bigint (decimal t), opMinus x t)
          static member        instance (ProperFraction, x:float32 , _) = fun () -> let t = truncate x in (bigint (decimal t), opMinus x t)
          static member        instance (ProperFraction, x:decimal , _) = fun () -> let t = truncate x in (bigint          t , opMinus x t)
          static member inline instance (ProperFraction, r:Ratio<_>, _) = fun () -> 
              let (a,b) = (numerator r, denominator r)
              let (i,f) = quotRem a b
  
negative.code:         static member        instance (Negate, x:uint64    , _) = fun () -> 0UL - x
          static member        instance (Negate, x:unativeint, _) = fun () -> 0un - x
  
      // Strict version of math operators
      let inline internal ( +.) (a:'Num) (b:'Num) :'Num = a + b
      let inline internal ( -.) (a:'Num) (b:'Num) :'Num = a - b
      let inline internal ( *.) (a:'Num) (b:'Num) :'Num = a * b
  
  
  // Integral class ---------------------------------------------------------
  