Abstract: A method including measuring an initial precision measurement of at least one value of a number with a decimal point, measuring an infinite precision measurement of a value of the number with a decimal point, where a format of the number with a decimal point or of a primitive operation manipulating a number with a decimal point is first replaced with a predetermined optimal format. Additionally, manipulating, for at least one instruction, at least one number with a decimal point, including writing at least one variant performing the same function as the at least one instruction, and measuring, for each variant, at least one value of the at least one number with a decimal point obtained with the variant, and selecting the optimal variant as a function of the measured value and the initial precision and infinite precision values and replacing the at least one instruction with the selected variant.

Abstract: A method is provided for adjusting the accuracy provided by a source computer program manipulating at least one number with a decimal point, comprising the following steps: initial accuracy measurement of at least one value of at least one number with a decimal point; measurement, said infinite accuracy measurement, of at least one value of said number with a decimal point in said source program; for at least one instruction manipulating, in said source program, at least one number with a decimal point, a step, said optimization step, identifying, for said instruction, a variant providing a better accuracy, and modification of said source program by replacing said instruction with said selected variant. It also relates to a computer program and a system implementing such a method.