for float640_add the following two numbers:
fff8000...00 7ff8000...00
out_fp = fff8... (yours)
softfloat= 7ff8
Please contact jlong@eecs.berkeley.edu for equivalence checking between soft float.c and RTL implementation of FPU