Fixed example comment for num::cast().