from within a Java application, in order to extract the result from the result sequence, one would have to use this code:

float n = ((XSFloat)rs.first()).floatvalue(); println(n);

in order to get the result of ‘11.0’