Efficient high-precision floating-point arithmetic

We want to build all hyperbolic learning models (with manifolds as Halfspace, Lorentz, Poincare, etc.) on top of MCTensor algorithms.