Extract number from string php Standard (int)filter_var($device->code_kudo_box, FILTER_SANITIZE_NUMBER_INT)