Почему 5.0 и 9.0?

Тип результата вычисления математического выражения зависит от типов операндов. При делении целого числа на целое (int / int) результатом также будет целое (дробная часть при этом отбрасывается):

10 / 4 = 2    // делимое и делитель типа int, частное также типа int

Если один из операндов будет вещественным числом (double), то результат выражения также будет с дробной частью:

10 / 4.0 = 2.5    // делимое типа int и делитель типа double дают частное типа double

Можно также использовать приведение типов:

(double) 10 / 4 = 2.5    // делимое типа int приводится к типу double