After changing to boxed types in the A* data structures, their size is not counted correctly anymore.
After changing to boxed types in the A* data structures, their size is not counted correctly anymore.