@franckcuny Integer underflow is looking like our best bet.