Move interval vector constants to their own file.