Problem: how many integers from 0 to 50 inclusive have a remainder of 3 when divided by 5 ?
Rationale: "the numbers should be of the form 5 c + 3 . the minimum is 3 when c = 0 . the maximum is 48 when c = 9 . there are 10 such numbers . the answer is e ."
annotated_formula: divide(const_100.0, const_10)