avg((3,4,5))
from within a Java application, in order to extract the result from the result sequence, one would have to use this code:
double avg = ((XSDouble)rs.first()).doublevalue(); println(avg);
in order to get the result of ‘4.0’