Move number recipe to the new dedicated repo.

Fixes #2209