def is_finite(builder, val):
 val_minus_val = builder.fsub(val, val)
 return builder.fcmp_ordered('ord', val_minus_val, val_minus_val)

def is_finite ( builder , val ) : val_minus_val = builder . fsub ( val , val ) return builder . fcmp_ordered ( 'ord' , val_minus_val , val_minus_val )
return a condition testing whether *val* is a finite .