3 ms·RLIBM: Rutgers Architecture and Programming Languages Lab Correctly Rounded Libm2 points by teleforce 2y ago