Finished proposal: https://github.com/WebAssembly/JS-BigInt-integration/blob/master/proposals/nontrapping-float-to-int-conversion/Overview.md