#include <debug.h>

#include <number/inc.h>

#include "../new.h"

#include "inheritance.h"
#include "struct.h"
#include "new.h"

struct value* new_number_value(
    struct number* value)
{
    ENTER;
    
    struct number_value* this = (void*) new_value(
        vk_number,
        &number_value_inheritance,
        sizeof(*this));
    
    this->value = inc_number(value);
    
    EXIT;
    return (void*) this;
}