[NTG-context] double-lined Z for meaning "integers"