Real Numbers, IEEE754 Floating Point Standard - Discrete Mathematics