Just below the properly rendered part in https://webassembly.github.io/spec/core/bikeshed/#floating-point%E2%91%A0.