Right. `@allocated_memory` should be an integer in the first place, but fixing that will need changes in more places. For now I preserve the previous semantics, OK?