The proposal sits in the stage 3 right now: https://github.com/WebAssembly/wide-arithmetic Would be nice to have it covered in the binaryen.