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
This is the true reason they needed to special case <=0.
Clearly the programmers didn't fully think though what would would happen if TITAN reached and got stuck at zero value.