BW_FIXED_GET_INTEGER_PART
uint64_t arg1_int = BW_FIXED_GET_INTEGER_PART(arg1_value);
uint64_t arg2_int = BW_FIXED_GET_INTEGER_PART(arg2_value);
return BW_FIXED_GET_INTEGER_PART(value.value);