give a definitive dev number for release