0030_div.c:4.2-5.0: [ x in [-oo;+oo] ]
