mulmod function

[Anas2001]

I need to build zksnarks feature in scilla smart contract and we need for that

mulmod(uint x, uint y, uint k) returns (uint) with very big numbers of type Uint256 like in solidity and this function is very useful in cryptography

Thanks

[AmritKumar]

There could be another related primitive that we could add:

addmod(uint x, uint y, uint k) returns (uint): compute (x + y) % k where the addition is performed with arbitrary precision.