comp

Definition: 
nat completed natural