Clarify eqv with zero-denominator Rationals

Rakudo impl: rakudo/rakudo@c91bcc2afc
Spec:        Raku/roast@9b69d9787c

Author: zoffixznet

doc/Language/operators.pod6

@@ -1641,6 +1641,13 @@ if only one C<Iterable> is lazy.
     (try say (1…∞) eqv (1…∞)) # Both lazy and of the same type. Cannot compare; throws.
         orelse say $!.^name;  # OUTPUT: «X::Cannot::Lazy␤»
 
+Zero-denominator L<Rationals|/type/Rational>, such as L<Rat> and L<FatRat> types
+are considered equivalent if their L<numerators|/routine/numerator>
+are both C<0> or are of the same sign:
+
+    say  1/0 eqv 42/0; # OUTPUT: «True␤»
+    say -1/0 eqv 42/0; # OUTPUT: «False␤»
+
 The default C<eqv> operator even works with arbitrary objects. E.g., C<eqv>
 will consider two instances of the same object as being structurally
 equivalent: