bk_gnu_builtin_inf, /**< GNU __builtin_inf */
bk_gnu_builtin_inff, /**< GNU __builtin_inff */
bk_gnu_builtin_infl, /**< GNU __builtin_infl */
bk_gnu_builtin_inf, /**< GNU __builtin_inf */
bk_gnu_builtin_inff, /**< GNU __builtin_inff */
bk_gnu_builtin_infl, /**< GNU __builtin_infl */