Text this: Coarse abstractions make Zeno behaviours difficult to detect