Is this a bug in int()?

[MartinRinehart at gmail.com]

>>>int('0x', 16)
0

I'm working on a tokenizer and I'm thinking about returning a
MALFORMED_NUMBER token (1.2E, .5E+)