Fixed contracts for integers