mp_integer: fix missing include.