Borel_functional_calculus loading ...