A few more int-to-double conversions hooked up.