<div dir="ltr"><div><div><div>I'm dividing a Nonnegative-Real by an Index, and I want to get back a Nonnegative-Real. The type of / contains this clause:<br><br>(-> Positive-Real Positive-Real * Nonnegative-Real)<br><br></div>It appears to me that the first term here should be "Nonnegative-Real", rather than "Positive-Real"... that is, this type:<br><br>(-> Nonnegative-Real Positive-Real * Nonnegative-Real)<br><br></div>Am I missing something obvious here?<br><br></div>(Naturally, I can insert a dynamic check, it just seems unnecessary...)<br><br>Thanks!<br><br>John<br></div>