Constant __HAVE_FLOAT64 

pub const __HAVE_FLOAT64: i32 = 1;