added support for division; also added bochs benchmark