initial setup for division, but doesn't pass tests just yet
really need to add wrappers for integer arithmetic