Check fadd input exception
Fix fmul under or overflow check