no use counting HNF modulo 1