(global f64 (f64.const 0x_1.0p1))