Using IEEE float now