floating-point - MiniZinc でこのエラーを解決するにはどうすればよいですか?

Question

MiniZinc で、「このシグネチャを持つ関数または述語が見つかりません: `round(var float)'」というエラーなしでこのコードをコンパイルするにはどうすればよいですか?

var int: D = 1;
var int: F;
constraint F = round (D / 2);