feat(library/standard/nat2): definitions of divides and gcd