Arithmetic comparisons can be delayed until their arguments are instantiated instead of generating an instantiation fault by passing the comparison to the suspend solver (see section 17.6). This gives a form of coroutining.
