Hi Xerxes, > SoftenFloatResult #0: 0x61aad8: f64 = frem 0x619fb0, 0x619ea0 > ... > it seems we need to fix softenfloat f64 as well. it's not f64 that's the problem, it's frem. I will try to fix this later today. Ciao, Duncan.