NK
https://github.com/WebAssembly/binaryen/issues/1873
Коротко - когда кастишь например в C++ из 1e11 в __uint32 то получаешь 0 вместо 4294967295 (MAX_UINT) в режиме clamp mode (сатурация вместо выбрасывания исключения). В этом можно убедится например здесь:
https://webassembly.studio/?f=dt31ldjuoy