Fix for proofs in test025 (until I've added support for Decidable.Order)
Merge pull request #2 from JanBessai/default-bignums

Fix for proofs in test025 (until I've added support for Decidable.Order)