pub const UNBOUNDED: Interval;
Every value an i64 holds — the bound of a value no modeled op computes.