Simplify max and min for nats by removing lte

As per conversation with @david-christiansen