less than and modulo primitives