[tigger0jk]

Also, if the price of TITAN is 0, then you really can't pay out 25 cents worth of it... It does seem correct that the contract should handle such a case differently than just trying to pay you out UNDEFINED DIVIDE BY ZERO ERROR count of TITAN

[georgyo]

You just hit the nail on the head. I did not think about that.

This is the true reason they needed to special case <=0.

[phire]

If you think about it, the special case should give holders the option to withdraw the 74c of USDC without any TITAN.

Clearly the programmers didn't fully think though what would would happen if TITAN reached and got stuck at zero value.

[SV_BubbleTime]

This is what I was thinking. It should be decoupled. Here are the rules for how many USDC you get and here are the conditions for your TITANs. On the TITAN there should have been a condition for over zero, and a totally separate condition/case for zero… or less than or equal to zero since we’re working on edge cases no one considered.