| ID | Text Signature | Bytes Signature |
|---|---|---|
| 1077008 | minusu(uint192,uint256) | 0x4a3b2840 |
| 1077007 | minus(uint192,uint192) | 0xf6c98071 |
| 1077006 | lte(uint192,uint192) | 0x0f506956 |
| 1077005 | lt(uint192,uint192) | 0xa68d3078 |
| 1077004 | gte(uint192,uint192) | 0x5f5d0bff |
| 1077002 | fullMul_(uint256,uint256) | 0x950c7a5b |
| 1077001 | fixMin_(uint192,uint192) | 0x0c705f35 |
| 1077000 | fixMax_(uint192,uint192) | 0x340b530b |
| 1076996 | divu(uint192,uint256) | 0x542eb06e |
| 1076995 | divrnd_(uint256,uint256,uint8) | 0xc74e0bc7 |