feat(library/data/nat/div): remove some 'sorry's
checkpoint