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 18.3). This gives a form of coroutining.
