I'm sorry to say our friend integral died: https://www.tributearchive.com/obituaries/18477678/John-Russell-Thompson