from ints to double in constraint