codegen: implement division on doubles