Add int_to_double