Number type enforced in loop