pub const isc_udf_fp_overflow: u32 = 335544982;