Rough number