No manual entry for hexfloat