prop_number_size
if (prop_number_size(num) > (size)) \
if (prop_number_size(num) > (size)) \
if (prop_number_size(num) > (size)) \
if (prop_number_size(num) > (size)) \
int prop_number_size(prop_number_t);