jormungandr: fix rounding problems with coords as id