EIP-1051: Arithmetic overflow detection for the EVM

EIPs
24

I’ve written this proposal EIP: math checking