# [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