(global f64 (f64.const 0x1.0_p1))