Tune type cast documentation a bit more.