That would be a good start. But that's not sufficient. Why is `expma = Infty` when `a < -709`?