Real Numbers, IEEE754 Floating Point Standard, Example - Discrete Mathematics