Formalization of IEEE floating point in HOL Light.

Test scripts and data for CS 5470 (Compilers) at the U of U, Spring 2015