EXPORTS['double'] = 
    new types.PrimProc('double', 1, false, false, function(x) { return jsnums.multiply(x, 2)});