How much money did Microsoft pay to buy DOS?

The Disk Operating System that became MS-DOS is claimed to have come from work done by Digital Research. What money changed hands when Microsoft bought DOS would normally be 'commercial in confidence' or do not ask.