$x += 4;
or
$x->add_ui_gmp(4);