$real top-level constant

const $real = 8476

black-letter capital R (real part symbol) ('ℜ')

Implementation

const int $real = 0x211C