Subject: Re: [boost] [contract] toward N3351 concepts
From: Andrew Sutton (asutton.list_at_[hidden])
Date: 2012-10-05 19:52:20
>>> Zero breaks the postconditions of division. So?
>>
>> Not always. Dividing by 0.0 for floating point types is a valid
>> operation resulting in inf.
>
> Yes, I'm talking about ints.
Were you? I must have mis-interpreted your intent.