could cast to an int before appending - for clarity of matching with notify reading code