The paragraph you qouted doesn't say that you should ignore overflows either. Further it's stated: "If a coercion is not possible, an error of type type-error is signaled."
The paragraph you qouted doesn't say that you should ignore overflows either.
Further it's stated: "If a coercion is not possible, an error of type type-error is signaled."