Fixed __divtf3
having wrong cfg for f128
#692
Merged
This job succeeded
Loading