# numeric_interval