identities floor(ab/c)