#3280 gruntz incorrect limit

[Robert Dodier]

gruntz gives an incorrect result. Note that this is the same expression as in #3279, but gruntz gives the incorrect result even with domain = real.

(%i1) gruntz((2^(2*x+1)+(2^x*x^100)^(3/2))/(4^x-100*2^x),x,inf);
(%o1)                                minf
(%i2) domain;
(%o2)                                real

Working with Maxima 5.39.0 + Clisp 2.49 + Ubuntu 14.04.

[Barton Willis]

Fixed by Commit [37f222]. Plus this test is in rtest_limit_extra.