int - float間のキャストを実装