Tricks With the Floating-Point Format · HackerTrans