pub const DECDOUBLE_Pmax: usize = 16;