Forget about negative Nats in Prelude. Promote $!