Implemented the numerical type tower