Vampire V2.69999999254

Posted by ALB42 on 3. März 2018No Comments

I did not know that the Workbench Calculator (Sys:Tools/Calculator) uses FPU if available. By accident I noticed it has the same precision proble as my programs, very easy to reproduce.
see:

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.