On the cumulative distribution function of the variance-gamma distribution - Robert E. Gaunt (2023)