$int top-level constant

const $int = 8747

integral ('∫')

Implementation

const int $int = 0x222B