some NumericalHilbert documentation