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