missing include in cardinal_as