Joerg Anslik found a strange error that turns out to have been a problem in handling floating point states; it’s fixed, but you will need to recompile kernel and libc_r if you are running bleeding edge code.