Allow divisor in mod to be a number as well#761

Merged

frederikbosch merged 2 commits intomasterfrom mod_int

Nov 22, 2023

+42-5

Commits on Nov 22, 2023

Allow divisor in mod to be a number as well

helhum
authored and
frederikbosch
committed
test invalid argument, fix style
frederikbosch
committed