NormalDist.overlap() returns incorrect values when one distribution has an extremely large mean, violating both its doc and mathematical correctness.

NormalDist.overlap() returns incorrect values when one distribution has an extremely large mean, violating both its doc and mathematical correctness. #10126