XFAIL as interger always return as integer (32bits only)