;;; TOOL: wast2json
(module
  (func $foo (param f32) (result f32)
    get_local 0
    f32.const 0
    f32.div)
  (export "foo" (func $foo)))

(assert_return (invoke "foo" (f32.const 0)) (f32.const nan:arithmetic))