This division can do some weird things if children isn't a multiple of parents, so that might be another thing to check for in an assert.