Заставить переменную быть целым числом CVXPY

Я пытаюсь заставить переменную быть целым числом (целочисленное ограничение), используя cvxpy в Python, но результат остается с плавающей запятой:

from cvxpy import *

Fi = Int() 
Or = Int()

constr = [Fi <= 3000,
                 Or <= 3000,
                 Or >= 1000,
                 1.25*Or - Fi >= 0,
                 Fi >= 0,
                 Or >= 0]

obj= Maximize(50000*Fi + 25000*Or)

prob = Problem(obj, constr)
prob.solve()

print ("Status: ", prob.status)

print ("Fi: ", Fi.value)
print ("Or: ", Or.value)

print ("Obj: ", obj.value)

Результат:

Status:  optimal
Fi:  2999.9999999
Or:  2999.99999989
Obj:  224999999.992

Что я могу сделать, чтобы заставить его?

Я тоже пробовал:

Fi = Variable() 
Or = Variable()

constr = [Fi <= 3000,
                 Or <= 3000,
                 Or >= 1000,
                 1.25*Or - Fi >= 0,
                 Fi >= 0,
                 Or >= 0,
                 Fi == Int(),
                 Or == Int()]

Fi и Or — переменные. Не только цифры.