/* Returns the newly created (duplicated) instance of #CRNum. Must be freed by cr_num_destroy().  */
CRNum* cr_num_dup(CRNum *a_this)
/* Returns the newly created (duplicated) instance of #CRNum. Must be freed by cr_num_destroy().  */
CRNum* cr_num_dup(CRNum *a_this)
{
        CRNum *result = NULL;
        enum CRStatus status = CR_OK;
        g_return_val_if_fail (a_this, NULL);
        result = cr_num_new ();
        g_return_val_if_fail (result, NULL);
        status = cr_num_copy (result, a_this);
        g_return_val_if_fail (status == CR_OK, NULL);
        return result;
}