Separating int variable type from real variable type, required to work with DB solver. Non-workin version