Testing Divider

this match is non exhaustive, and may break at runtime. A `case _` should be used here.