How do you convert an int to a double?