Java で int が double に暗黙の型変換されてて、 double c = a / b; （ a と b が Android の API のコールで int が返される）の精度が落ちてしまっている事例が社内で発覚した。やっぱり数値間ですら暗黙の型変換を許さない Swift の方向性は正しかったんだ〜

(edited)