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

(assert_return_arithmetic_nan
  (invoke "foo" (f32.const 0)))
