Searched refs:ieee_positive_inf (Results 1 – 1 of 1) sorted by relevance
27 ieee_positive_inf = ieee_class_type(10), & variable130 classify = ieee_positive_inf