i fear that this branch doesn't actually work in specific cases due to weird tests. For example, `2/2` was resulting in weird quotients.