def negate_real(builder, val):
 return builder.fsub(lc.Constant.real(val.type, (-0.0)), val)

def negate_real ( builder , val ) : return builder . fsub ( lc . Constant . real ( val . type , ( - 0.0 ) ) , val )
negate real number *val* .