fixed bug of max(int, double)

I found a little bug.