Probably use `@type@`  for the cast of -1.