// ==> time
if ( nv.isTime() ) return nv ;
if ( ! nv.isDateTime() ) throw new ExprEvalTypeException("Can't cast to XSD:time: "+nv) ;
// Careful formatting
DateTimeStruct dts = parseAnyDT(nv) ;
if ( dts.timezone == null ) dts.timezone = "" ;
String x = String.format("%s:%s:%s%s", dts.hour, dts.minute, dts.second, dts.timezone) ;
return NodeValue.makeNode(x, xsd) ;
}