You dont have to since the set of all positive integers belongs to the set of all real numbers, you actually hit both tracks by just taking the lower track.