Multiplicity facts only use ints when needed