java - 如何使用 Choco 设定 3.5X+4.2Y 的目标？

Question

我是新来的巧克力。我在网上找到了一个示例，说明如何设置对象，如下所示

// Model objective function 3X + 4Y
IntVar OBJ = model.intVar("objective", 0, 999);
model.scalar(new IntVar[]{X,Y}, new int[]{3,4}, OBJ)).post();
// Specify objective
model.setObjective(Model.MAXIMIZE, OBJ);

如果我的 coeffs 是双倍值怎么办？更具体地说，如果我的目标函数是 3.5X+4.2Y，我该如何设置目标？请帮忙。谢谢。