Mixed precision arithmetic: hardware, algorithms and analysis, Theo Mary