assert false; print("((double)" + value + ")");
System.err.println("Warning: converting double to float when printing StreamIt version of IR.\n" + "         (StreamIt does not yet have syntax for doubles.)"); print((float)value);
    public void visitDoubleLiteral(double value) {        assert false;        print("((double)" + value + ")");    }