>>498
numがInt型であることが明記してあって、かつ式の中でIntが乗算されてるからでしょ。
Int × Intの計算なら計算結果がIntであることは明らか。