void visit(IntegerVariable& var) { p_value = static_cast<double>(var.initial()); }
void visit(IntegerVariable& var) { var.initial(static_cast<int>(p_value)); }