"correct to n decimal places" Deutsche bedeutung