hof: remove extern

Crate ‘num’ is not required to compile but breaks ‘Run’ button on
website
Merge pull request #262 from vbuslov/master

hof: remove extern