Python:算術変換
算術変換（arithmetic conversion）
型強制規則