Interval is a PVS package for interval analysis. It includes several strategies to reason about interval bounds and numerical approximations. In particular, the strategy numerical implements a provably correct pocket calculator that solves numerical inequalities using interval arithmetic.