avoid type errors with __builtin_huge_val (void)