$prime top-level constant

const $prime = 8242

prime (minutes, feet) ('′')

Implementation 

const int $prime = 0x2032