Interval constants: tests and doc