[int] Difference between int and double