num::cast documentation is wrong

Closes #9870