VP Float: First Class Treatment for Variable Precision Floating Point Arithmetic. - Jost, Tiago T.; Durand, Yves; Fabre, Christian; Cohen, Albert; Pétrot, Frédéric (2020)