Rename div to div'. This is unfortunate but there is a method in some .NET numeric types called divRem, so div should to be the same as the first result of divRem in order to be consistent with divRem.
Rename div to div'.
This is unfortunate but there is a method in some .NET numeric types called divRem, so div should to be the same as the first result of divRem in order to be consistent with divRem.

gusty/FSharpPlus,gmpl/FSharpPlus,gusty/FSharpPlus,gmpl/FSharpPlus