division type check