How is deterministic execution of WebAssembly ensured?

The semantics of floats is fully determined by the Wasm standard, with the exception of the bit-wise representation of NaNs, and to address this, the replica instruments your wasm code before execution to normalize the NaNs, so go ahead using them :slight_smile: