Delete minus1Trunc.v, close #434

The same... but more readable. (-: