Is this a bug in int()?

[MartinRinehart]

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

I'm working on a tokenizer and I'm thinking about returning a
MALFORMED_NUMBER token (1.2E, .5E+)
-- 
http://mail.python.org/mailman/listinfo/python-list