__float32__is_zero_or_subnormalf    output_value'(ffffffffff f f f f ffffffffffffffffff!"$%#&eq_15