- signum support - all basic operations and relations - wrap naturals - interface/implementation separation - unit tests