GET_INTEGER_PART
unsigned long long arg1_int = GET_INTEGER_PART(arg1_value);
unsigned long long arg2_int = GET_INTEGER_PART(arg2_value);
unsigned long long arg_int = GET_INTEGER_PART(arg_value);
result &= GET_INTEGER_PART(value);
unsigned long long arg1_int = GET_INTEGER_PART(arg1_value);
unsigned long long arg2_int = GET_INTEGER_PART(arg2_value);
unsigned long long arg_int = GET_INTEGER_PART(arg_value);
result &= GET_INTEGER_PART(value);