Interface NumericalArbitrary<T,​A extends NumericalArbitrary<T,​A>>