Papers of James Gregory the elder, David Gregory (1661-1708) and David Gregory (1712-1765)