Paolo Bonzini Mon, 18 Jun 2007 01:54:52 -0700
It is a libdecnumber bug, which only affects x86.
The patch is ok. Paolo