bad division in allocator_wrapper: we must round up, not down
division was incorrect in allocator_wrapper, need to round up. fix #655