Use new twosComplementCast from Ivory.Language.