We're using `number` in all other places, let's use it here as well