struct number;

void number_set_int(
    struct number* this,
    int x);