6. Correctly Rounded Floating Point Operations