hexfloat.pass.cpp 800 Bytes