pub const __HAVE_FLOAT32: c_int = 1;