Constant swipl::fli::PL_DOUBLE

source · 
pub const PL_DOUBLE: u32 = 23; // 23u32