What's going to happen when `e > 0`, e.g. `e = 8` or `e = 123`?

Generally, I'd guess you'd want `Int64 $ coefficient * exponent` in that case, but what if that's too big for an Int64?