spine-publisher: a correct implementation of is_int()