Re: Bizarre Arithmetic with CIAO Prolog