Bug in int('+␣42')?

That’s it: