big-int-substraction