Comment by ptx

Sound neat. But I wonder about those "quality assured computations that have been used and tested through many years" - when they convert the source code to a different language, using a brand new converter + a reimplemented standard library + 5% manual editing, how can they be sure the computations are still correct? Especially since they mention that the results are different due to 64-bit precision.