Numerical analysis of transprecision

Summary
Report that formalizes the extension of fundamental principles of numerical analysis to variable precision arithmetic.