inline fn __builtin_huge_valf() f32