Recognize MySQL mediumint type as integer