Add note to the Quintus Prolog adapter file on the limitations of the implemented workaround to deal with the non-standard arithmetic in this compiler