Reformat value_real in core.y