BMT suggests that for MACSYMA we have the convention that all *, //, \, and \\ functions check for any arguments of 1. It probably isn't important for fixnums or flonums, but it could be for bignums. Do the appropriate lisp functions do the checking? Thanks.