feat(library/standard/data/nat/div): port div