Constant IFCDOCUMENTELECTRONICFORMAT 

pub const IFCDOCUMENTELECTRONICFORMAT: u32 = 1376555844;