DynamicError e = new DynamicError("The numbers to be formatted must be positive");
e.setXPathContext(context);
e.setErrorCode("XT0980");
throw e;
}
long i = ((NumericValue) num.convert(Type.INTEGER, context)).longValue();
if (i < 1) {
DynamicError e = new DynamicError("The numbers to be formatted must be positive");
e.setXPathContext(context);
e.setErrorCode("XT0980");
throw e;