$infin top-level constant

const $infin = 8734

infinity ('∞')

Implementation 

const int $infin = 0x221E