Fix int-to-double conversion