TurboTax is definitely doing the correct fraction calculation that you quoted from the instructions for Form 8606 line 15b. I've performed this calculation manually to confirm each of the examples I tested. The fraction simply applies the basis proportionately between the CRD and the non-CRD parts of the distribution.
