IR constraint
Replacing int by double

all credits, debts now are double