ychr-0.1.0.0: test/golden/hnf_literal_in_head/float_15.goal

hnf_literal_in_head:tag(1.5, R)