pub fn rational_domain() -> Symbol
The numbers/rational domain symbol, source of the rational -> complex promotion edge.
numbers/rational