natural/c -> natural-number/c