>>368
式に一つでもdouble型がある場合、double型になることを利用しただけ
# 正確な式の型の繰り上げ規則は調べてくれ

a*b/2だとint型になってしまう為、小数点以下が切り捨てられてしまうから
1.0というdouble型の数値を入れることによって結果をdouble型にしたんだろう
でも、a*b/2..0の方が綺麗だと個人的には思うけどな