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