Hartsoeker, Nicolas, 1656-1725