fix natural_t to be uint32_t