bump ivory: minor cast bugfix
pat todo update