Direct integral