Currently, there is no `{I,U}256` implementation for what the `ADDMOD` and `MULMOD` EVM opcodes do. We should add them.