A Prolog macro to make numeric arguments more palatable