Add unit tests for ISO Prolog built-in arithmetic functions specified in the Technical Corrigendum 2