A Case for Correctly Rounded Math Libraries | PapersWeLove | Podwise