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

int_float_conversion:t(i2f_neg, R)