I just discovered a leaking section of cast iron pipe in my basement. There is moisture around the joints, but I guess there could be pinhole-sized spots or a crack on the bit I can't easily see. I'm not sure how long it's been like this but I want to get it dealt with ASAP. I'm looking for some information about the overall process and some ideas about the severity so I can deal with the plumber. Should this be replaced with new cast iron or something else? Will they need to dig up the floor?
The house is 67 years old. This waste pipe appears to be for the upstairs master bathroom based on it's location towards the front of the house.
The only action I've taken is making the bathroom off limits and I have setup a dehumidifier in the basement.
Here are photos