debug mul_bingint_by_int