Replace std::num::One::one() by std::num::one() on examples.