;;; TOOL: wat2wasm (module (type (func (param i32 f32 f64) (result f32))))