Use definition of number immediately before first using