idt_get_deg_frac
return (idt_get_deg(mdegC) << 1) | (idt_get_deg_frac(mdegC) ? 1 : 0);
idt_get_deg(mdeg), idt_get_deg_frac(mdeg));