Tricks With the Floating-Point Format
randomascii.wordpress.com