Signed type correctness.