Diff openlibm-0.7.5 with a openlibm-0.8.0

Thank you!