Constant IFCBUILDINGSTOREY 

pub const IFCBUILDINGSTOREY: u32 = 3124254112;