Fix duplicate test numbers in extra.decTest