Fixed literal down-casting
Show the correct value on implicit truncation
Correctly compare the right signed values on truncation
Added extension- and truncation-cast tests

Also moved 64-ice test.