[jshier]

No cast, just a conversion, depending on how you want the math to work. int * double would usually be Double(int) * double.