# [Int] to [Double] ### Description Cast Int values to Double representation. ### Input - `SOURCE [INTEGER]`: a list ### Output - `RESULT [DOUBLE]`: result of the operation ### Parameters