[Obj,Int] to [Obj,Double]

Description

Cast Int values to Double representation in an [Obj,Int] pair.

Input

• SOURCE [OBJ,INTEGER]: a list of pairs

Output

• RESULT [OBJ,DOUBLE]: result of the operation

Parameters