Constant CONFIG_UNITY_ENABLE_DOUBLE 

pub const CONFIG_UNITY_ENABLE_DOUBLE: u32 = 1;