hexfloat working nicely