Fix Integral instances for Words (#19026)

  • ensure that division wrappers are INLINE

  • make div/mod/divMod call quot/rem/quotRem (same code)

  • this ensures that the quotRemWordN# primitive is used to implement divMod (it wasn't the case for sized Words)

  • make first argument strict for Natural and Integer (similarly to other numeric types)

Edited by Sylvain Henry

Merge request reports

Loading