Wild, I just discovered that my academic "great grandfather" was G.H. Hardy! Thanks for this, nicely done.