Simen kjaeraas wrote:
> I am not convinced that such an extension of the type system should be
> made, but I believe you are wrong in that it is not verifiable. but
> please, do show me my mistake.
It is not verifiable because nothing prevents you from assigning:
m = random();
That is not logical const.