fix extern inline handling, implement __builtin_huge_val