binary: Factor out mp_binary_set_int().