WebAssembly: add basic floating-point tests