In this section

Historical Rules · 18 June 2010

Rule 119.7

Official source text from the 18 June 2010 Rules release

Some replacement effects result in multiple card draws. In such a case, any parts of the original event that haven't been replaced by the effect occur first, then the card draws happen one at a time.

Find this number in the current Rules