ychr-0.1.0.0: test/golden/int_float_conversion/rt_int.goal

int_float_conversion:t(rt_int, R)