times
times(x,y,...)
-- yields the product of its arguments.
If there are no arguments, the value is the integer 1.
