@Test
public void testEBV9() {

    assertTrue ( ebvDouble(0.01d) );
    assertFalse( ebvDouble(0.0d) );
    assertFalse( ebvDouble(-0.0d) );
    
    assertFalse( ebvDouble(Double.NaN) );
    
    assertTrue ( ebvDouble(Double.MIN_NORMAL) );
    assertTrue ( ebvDouble(Double.MIN_VALUE) );
    assertTrue ( ebvDouble(Double.MAX_VALUE) );
    
    assertTrue ( ebvDouble(Double.POSITIVE_INFINITY) );
    assertTrue ( ebvDouble(Double.NEGATIVE_INFINITY) );
    
    Node x = NodeFactory.createLiteral("NaN", XSDDatatype.XSDdouble);
    NodeValue v = NodeValue.makeNode(x);
    assertFalse(XSDFuncOp.booleanEffectiveValue(v));
}