>>657
その記事だと良く分からんが、それって単にSingleFloat(32bit) => Double Float(64bit)
にするだけっぽい。DoubleはPPC32で定義されてる命令。