Avoid running hexfloat test in stage1