anchor.diff:  
       dict.Add(Expr.getMethodInfo <@ 1s % 1s @>, emitOpCode Rem |>> convInt16)
       dict.Add(Expr.getMethodInfo <@ 1y % 1y @>, emitOpCode Rem |>> convInt8)
  -
       dict.Add(Expr.getMethodInfo <@ 1uL % 1uL @>, emitOpCode Rem_Un)
       dict.Add(Expr.getMethodInfo <@ 1u % 1u @>, emitOpCode Rem_Un)
       dict.Add(Expr.getMethodInfo <@ 1us % 1us @>, emitOpCode Rem_Un |>> convUInt16)
  
positive.code:     dict.Add(Expr.getMethodInfo <@ char 1u @>, emitOpCode Conv_Ovf_U2_Un)
      dict.Add(Expr.getMethodInfo <@ char 1uL @>, emitOpCode Conv_Ovf_U2_Un)
      dict.Add(Expr.getMethodInfo <@ char 'a' @>, doNothing)
  
      dict.Add(Expr.getMethodInfo <@ -(1I) @>, emitCallMethod (Expr.getMethodInfo <@ Numerics.BigInteger.op_UnaryNegation @>))
      dict.Add(Expr.getMethodInfo <@ 1I - 1I @>, emitCallMethod (Expr.getMethodInfo <@ Numerics.BigInteger.op_Subtraction @>))
      dict.Add(Expr.getMethodInfo <@ 1I * 1I @>, emitCallMethod (Expr.getMethodInfo <@ Numerics.BigInteger.op_Multiply @>))
      dict.Add(Expr.getMethodInfo <@ 1I / 1I @>, emitCallMethod (Expr.getMethodInfo <@ Numerics.BigInteger.op_Division @>))
      dict.Add(Expr.getMethodInfo <@ 1I % 1I @>, emitCallMethod (Expr.getMethodInfo <@ Numerics.BigInteger.op_Modulus @>))
  
      dict.Add(Expr.getMethodInfo <@ int 1 @>, doNothing)
      dict.Add(Expr.getMethodInfo <@ int32 1 @>, doNothing)
  
negative.code:       | OpExplicit <@ uint64 @> op
        | OpExplicit <@ uint8 @> op
        | OpExplicit <@ unativeint @> op
        | OpExplicit <@ Checked.byte @> op
        | OpExplicit <@ Checked.char @> op
        | OpExplicit <@ Checked.int @> op
        | OpExplicit <@ Checked.int16 @> op
        | OpExplicit <@ Checked.int32 @> op
        | OpExplicit <@ Checked.int64 @> op
        | OpExplicit <@ Checked.nativeint @> op
        | OpExplicit <@ Checked.sbyte @> op
        | OpExplicit <@ Checked.uint16 @> op
        | OpExplicit <@ Checked.uint32 @> op
        | OpExplicit <@ Checked.uint64 @> op
        | OpExplicit <@ Checked.unativeint @> op
            -> Some (emitCallMethod op)
        | _ -> None
      else
  