Added the int40 type, for internal purposes (32 by 32 bit addition,