Use fadd to calc fsub
Implement fadd debugger
Check fadd validity
Change types of return value and arguments of fadd to float
Change types of return value and arguments of finv to float
Change types of return value and arguments of fsqrt to float
Implement fsqrt debugger
Implement finv debugger
Implement checker of finv spec
Implement checker of fsqrt spec