>>23
ワイドニング変換にコストがかかるというのは初耳だが,
ソースはあるかい?