pub const HAVE_WORKING_LOG1P: u32 = 1;