Added integer definitions and safe allocators